{"entities":{"Q2810690":{"pageid":2821428,"ns":120,"title":"Item:Q2810690","lastrevid":52547486,"modified":"2026-01-22T22:41:29Z","type":"item","id":"Q2810690","labels":{"en":{"language":"en","value":"Structural operational semantics with first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589328"}},"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":"Q2810690$8769B049-8826-4BDE-8C19-6EBBD7F1070F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51e2381872e11f5c224d7b105dd45e8e272cb063","datavalue":{"value":"1339.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$65387120-5F48-4302-A2D4-62CD8D6B1C60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b73ea77b55f66caebdb675084a7121d3c23f6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1014570,"id":"Q1014570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$DD1B4D2C-EA86-4E3E-A7EE-8B1B04DACC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$07B9A44A-D8D4-4B75-9E32-137A7A8A4B6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$00AC65F2-F0EF-4FCD-AC33-05A78CDAF751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76ffc69a7d5fd5bda3b4ed249f40dec5f4ba2327","datavalue":{"value":{"time":"+2016-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810690$B8ECDA4F-35EC-4DDE-846A-5D7F7339207A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$3F80DED0-ED26-4E66-A215-60786664470E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$8FA5A461-AC54-43F0-BFE4-6B74AA18E7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$2C923C60-32A7-42D9-8322-8E0E312C97E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$A63BE8F3-FEC9-4D36-B56E-9A6BC8CB6EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f28b644afe89b11c34ad87e979ce9717bd68767","datavalue":{"value":"6589328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$5B028D95-C2C5-4F3B-8F66-836F6317F860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4324238f0be75d07e5d4832d32c1b460c1e1c0f8","datavalue":{"value":"SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810690$3A0F696B-9CE2-41B2-A085-C762A7A2A9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810690$31E79787-DE97-4FFB-999B-58CC7B300028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810690$6DE66604-CEF3-4E53-8BA5-8DAD20CD1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810690$20D773A8-4F4C-4F5C-B303-AEAF25285C01","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":"Q2810690$0F56ABFC-64A9-44B5-BE26-C6F35F4F30E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f69ca10b66c7495894bb1704b6834d78358816bb","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.075","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810690$D773862B-CEDC-45B0-90D0-6C695F9329C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68954f00a50f8cbcc682cf5b831a98445bb20e93","datavalue":{"value":"W2064803102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$246FACC0-A0CB-46E5-9B0C-1561F7F02590","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$1BE0D33B-5A0E-456D-9615-56B846FDAAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$0070DADB-B863-4322-A6C0-C76AC6B64BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$72C03998-9B56-4DBC-A7CA-C3484306FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$F6FCB627-6B04-4B7B-A85C-B56C12442291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$2E8294BA-008B-4614-A7C8-432C0DF6F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$EE692364-EB12-4172-96C2-45A980E2CED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$CE8C2565-F923-4EC0-95D8-9FE7A74CC1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$92160758-923C-42A5-9778-BDD67EA6A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e2082aac4242c638e736d317fc947d427f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3992553,"id":"Q3992553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$66336765-DB36-486D-A162-4A9A918C3EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$54DDE0BC-1BEC-418A-93C4-60C3D6C98F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649171a0b2e85cd19c4f65f99a82a5ea5fd272da","datavalue":{"value":{"entity-type":"item","numeric-id":2871833,"id":"Q2871833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$966D2CAE-DCD8-4181-A762-EAF430DF45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$3440BECF-9592-4A42-B497-D11FB87212B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$792EA2A6-A1B1-4745-A566-B894726081A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$D5E9AD0E-4E91-45A0-8889-9AB38B26174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdfb9650a779da65f9c443c794331f7a80af7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":1276259,"id":"Q1276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810690$E2B31FD1-7A44-4649-BA9B-35EBEBF55631","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dfb0ca53f8077b99a527c50e4e0d817f2b2820c","datavalue":{"value":"10.1016/J.ENTCS.2009.07.075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810690$3D63A2DB-DED0-4DA9-9B29-D6A6B8C9330E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74237a430403315defc698529a78feaf4c7a59ad","datavalue":{"value":{"text":"Structural operational semantics with first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810690$92A5CA70-2D79-4214-9791-70089593E5F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a79b2781de42a6b96df093ee45bc0e4cce322e5","datavalue":{"value":{"amount":"+0.8042317032814026","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":"Q2810690$326F4752-0BA4-496B-B1BB-AA37ACF4FB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1655a405f30d122c6917e53b6eeb063b6564e3df","datavalue":{"value":{"entity-type":"item","numeric-id":1012119,"id":"Q1012119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0a283c412d32c33c9b7d56685e87d8baf32bb3","datavalue":{"value":{"amount":"+0.7858662009239197","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":"Q2810690$DD3B9DE5-27CF-424B-95A2-2669A165C604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b94bf866516dd2f7ba57c29638658a875d90074","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4be7a1dab0e45b73a09fa5a0712fcf952e00ce","datavalue":{"value":{"amount":"+0.7816567420959473","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":"Q2810690$5A700FB5-C181-42AC-9A20-953812542FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8b769e5889b7203cfa43430fbcaad7e3dc2efb","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ab12a474c9c010af97572724dede1764d69a98","datavalue":{"value":{"amount":"+0.7813718914985657","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":"Q2810690$D6DC73BB-F8BE-4548-B96D-CB7197527EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f16b56b0ccd85852d9acf42a6c97e03ced7308","datavalue":{"value":{"amount":"+0.7747861742973328","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":"Q2810690$D3F6CEE4-01DA-4334-8FBB-6026D45E6AC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810690"}}}}}