{"entities":{"Q3713595":{"pageid":5743501,"ns":120,"title":"Item:Q3713595","lastrevid":50631194,"modified":"2026-01-14T15:18:09Z","type":"item","id":"Q3713595","labels":{"en":{"language":"en","value":"Equations between Regular Terms and an Application to Process Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943016"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3713595$BF7F579E-DFD6-4185-B642-30C66C967286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f6326f543b3adf721226a64b242a7beed9a6382","datavalue":{"value":{"text":"Equations between Regular Terms and an Application to Process Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3713595$FB605096-73FB-48D0-90A5-B0F1807A2D38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"688d9479bfbfdd2d7514fc08bf0a4ee56d8c6c34","datavalue":{"value":"0587.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$847003F0-39EE-411C-823D-093B7DAFBE69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d5380150457fc76c4382e372c81aa4be268a9bf","datavalue":{"value":"10.1137/0214066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$8E7A04CF-AD81-43F9-BF4E-4F45446E5712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e99c5cadeb49ba2d1164b9f9e186439f77825dc","datavalue":{"value":{"entity-type":"item","numeric-id":230000,"id":"Q230000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3713595$DF1772FC-C54E-4E0D-A16D-410549C7669A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37f94e219c650c0af69779700675fb4fbdc2fbc1","datavalue":{"value":{"entity-type":"item","numeric-id":913503,"id":"Q913503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3713595$11B4DFF3-5DC0-4EDF-8D0F-BE6948D04B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f6478f54f211d543844edcae320ed6ad87a2dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3713594,"id":"Q3713594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3713595$55011B3E-5B0E-441C-B073-23D5F325C11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3713595$FDECD5B0-2D1A-4A90-B225-FFB89F088952","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3713595$72564090-4D4A-425C-998D-0E6698D757FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3713595$CB575D4F-648D-4E2E-989C-4343758EECDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$EDD5DD2A-0A28-41C7-A6A6-41DC105D097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$3DFC5DE1-AB4C-43A3-A896-6170CB57B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$4CAF6179-C67E-4872-A93C-0D3B30A8C8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$7B6FEA49-7475-4526-BC2A-03902F4EAAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$5302197A-626A-437B-89D9-E83B0DDBE248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$6462309A-B947-4A74-A62E-D435F7B6E1D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36df6e2187dce0ba31391a86cac919c6ee0ffd0d","datavalue":{"value":"3943016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$C686CB75-8D13-4C91-B8F6-705A7F3967A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713595$1164DD5D-2CBA-455F-AEFE-35AC42A6F3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713595$9BE4CAAA-96AA-48E6-972B-D4DBFFC116F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713595$17E7B3CE-B580-4110-8E06-0710AFA1526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713595$6E48D37A-66DE-4196-A5D9-E1AA2450BEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75d448735778f46c4e9667e177539a844422b26","datavalue":{"value":"context-free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713595$2D3623CE-DB9F-4F03-BF91-077B2863189A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3713595$D7BEF5EF-F6ED-4F63-BBC6-81CF364D62D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90dc3ac4c8bc3b12cf534b911e591229955ca5fd","datavalue":{"value":"https://doi.org/10.1137/0214066","type":"string"},"datatype":"url"},"type":"statement","id":"Q3713595$E78A8E4A-44A2-49E1-9230-B73ED05BBBB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"755efc272555a696a903016cf3ea2d1866b69d41","datavalue":{"value":"W2064200694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713595$1886E533-DBB5-4BDB-83CD-524A11E47914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf53a5c78305617a04c01c69989cca5f21a44f22","datavalue":{"value":{"amount":"+0.8184007406234741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3713595$210BF219-04B0-438E-9480-8DA520A301C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ab480aa5b1f468972b1a0c69813fa5d26cbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":1062047,"id":"Q1062047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be5ed551a9a2a63795464e310f4c817e81f721a","datavalue":{"value":{"amount":"+0.7701890468597412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3713595$B47A079F-215B-4F28-B073-6DF093AD6DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0719016b8cfdf0088841fc8088ec0341173d91b","datavalue":{"value":{"entity-type":"item","numeric-id":5217303,"id":"Q5217303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2981844ebe7b4cec46202ef0d6e19a8ebc7bc1","datavalue":{"value":{"amount":"+0.766376793384552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3713595$8FAD4DE4-ED69-4030-945F-718D304450F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a38766a19007d4174b1cb708d9d8d5b81941f","datavalue":{"value":{"entity-type":"item","numeric-id":3743306,"id":"Q3743306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8de09c9a1f46e26eccb57138983ee9de1b739f8","datavalue":{"value":{"amount":"+0.7628048658370972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3713595$58F87FCA-34E1-4A35-BAFB-F92F922B4566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c840045cdf6669c5d06531d11d1ce1a3a3e5d98","datavalue":{"value":{"entity-type":"item","numeric-id":972384,"id":"Q972384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85651b5ae8d6ccfb25a343afaf3f7ca99d50a278","datavalue":{"value":{"amount":"+0.7573621273040771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3713595$9846257D-F0BE-426A-8A4B-D6D2A2740762","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3713595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3713595"}}}}}