{"entities":{"Q1400151":{"pageid":1410891,"ns":120,"title":"Item:Q1400151","lastrevid":70780482,"modified":"2026-04-13T16:58:44Z","type":"item","id":"Q1400151","labels":{"en":{"language":"en","value":"An alternative formulation of operational conservativity with binding terms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963584"}},"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":"Q1400151$4AE264EA-3308-4B0D-8246-84F36728382E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17fa4f328f8298186d6fb320a631c5efe431b220","datavalue":{"value":{"text":"An alternative formulation of operational conservativity with binding terms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400151$6DAA99AE-DCA5-4325-9DAE-F622220D05A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fc1fd8544b57c1b104fe6ebd828f787fc2c2d2c","datavalue":{"value":"1048.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400151$D4C4067A-86A9-40FD-83CE-6223CA148467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76a4d033c1bf1adc62a507912c826137bf3b7e2d","datavalue":{"value":"10.1016/S1567-8326(02)00039-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400151$09738F1E-6C35-4BE9-A466-B0D075356A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$2FE06EBA-2743-4BBF-B28B-CC432ED43155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$C513D78B-6735-438A-9E41-A915D4000C6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400151$4DEA6C83-4670-40C4-BED1-B1F6134A38FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400151$1FF1BCA7-0BCC-4509-9E1E-4CC4C5716B94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bf3dc5dcf155ebc16ec8b7a5189cc2f40ef6b8f","datavalue":{"value":"1963584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400151$5A3BB9FB-F23F-44DE-9B0F-B5B0D330EF89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd1d7c27caebd626f4b5f7a94e339fb08919aa8","datavalue":{"value":"Structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400151$60B85ECB-7CAF-4E3D-92FF-533C6ED5810C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cce9e65fbfcc3ea1c4fc3a94b4bc94c890de0086","datavalue":{"value":"Operational conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400151$530B562B-5625-4CC0-B480-ADA7C37DA329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716c0246a5306744e1977c400d2591a020f97053","datavalue":{"value":"Transition system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400151$86CC5684-2A90-4EE8-880D-7CA56C558953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f59af434592f1b0d5a0a058df525f796ac44f9","datavalue":{"value":"Variable binding operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400151$DE2743B5-6166-4B03-A542-496BECE3BD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184b6bd7bb70c5c44419cc8ffdbd3e1b797e641b","datavalue":{"value":"Source dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400151$DB3C401C-FCC1-4335-AE33-B5780F2AE310","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":"Q1400151$003D1637-CF36-4526-A38D-F1A66BB2AFFD","rank":"normal"}],"P223":[{"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":"Q1400151$9636E0A8-F9B4-4F3B-9249-4B4AA60244FE","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":"Q1400151$CD135FA5-FFF3-46BA-8FE4-DE671E61995E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$111ADF91-00BD-4E2A-A586-52B5E8DEBFF7","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":"Q1400151$DF47DDF3-77B4-4DCB-903B-3347737F37D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949d3eeacf603520999ad4bcd89e07a2a1eff9b","datavalue":{"value":{"entity-type":"item","numeric-id":5931555,"id":"Q5931555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$51CD720E-7C38-4348-87B4-59BB4F7C3D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$548EFFC1-A91E-426D-AA21-4D26B3B3422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$0C199DFE-564D-48EA-92B0-BE1F2C85CDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$F0D9C7AE-4AFF-43D5-838D-49DF341FAE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef0293b7d909941669f578e4fe0b01b4cc45fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$DAD06619-6DDF-4A05-B3C4-80DB747A5081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608dcee415bec70ba6d08c849d58f8223bfb26d7","datavalue":{"value":{"entity-type":"item","numeric-id":1274449,"id":"Q1274449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$589082B7-E46F-49BB-8C80-08355FAC87D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2404ae1b749d5d39e85ae495f2d6b6dfa333160e","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$FC5032F8-E4D6-4C5E-9065-0BEEB2D8361C","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":"Q1400151$49D9B79E-8B4B-4F83-86F9-D02E8A8CC319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$DF1BC4BD-1E71-4420-AEB2-D633CDCB31D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71c1a2d83eda62a52b711e714b9d81f69641bb","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$33203B3A-5163-469A-83A2-0695BE92C802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400151$B12F9805-B9F3-4666-A9D5-A2E1B4E67D8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83c0d3bb1bc589b90dc0e062a66a43ca713b8d79","datavalue":{"value":"https://doi.org/10.1016/s1567-8326(02)00039-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400151$9E00657D-2100-451C-8384-B293655A95DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77c8b29de275e47caf30fbe2fc6045b9a37c2d43","datavalue":{"value":"W2130901629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400151$E09D7A67-4951-4987-ACD2-5BC699C6A789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4636e6f19882c51686b3fb2bdf091f8fb49f6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5931555,"id":"Q5931555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e460096d618a6355c8333b6c188a38128916d73","datavalue":{"value":{"amount":"+0.8630527853965759","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":"Q1400151$71B1DD18-23EB-44EE-A2CA-99A58AE8A360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af30baf1f071f74b13783131febbb549f2ba314","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01a49571023db4f0751e022b8ce6188f3032a48","datavalue":{"value":{"amount":"+0.8287311792373657","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":"Q1400151$8C5F5C2C-DC33-430F-8FA6-0F4FD52C9022","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":"cc836d03fa3c014711aa28c1efc404c433656609","datavalue":{"value":{"amount":"+0.8221864700317383","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":"Q1400151$3A6CC2F9-3BB6-449D-B39C-32EF93DF3109","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":"5ff4b4dbdc5366bd07c49d23c0e07e53a37799ba","datavalue":{"value":{"amount":"+0.8150500059127808","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":"Q1400151$E38A85A4-2382-483B-B43B-E0CF455DC038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae50d6510ea1517e7aec331e9a4a4ff4b217951c","datavalue":{"value":{"entity-type":"item","numeric-id":4790410,"id":"Q4790410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731265c5185746b22b41af8ada73cfd215ca66a0","datavalue":{"value":{"amount":"+0.8045390248298645","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":"Q1400151$7A166712-B853-411C-B952-B22EA17849E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative formulation of operational conservativity with binding terms.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternative_formulation_of_operational_conservativity_with_binding_terms."}}}}}