{"entities":{"Q1134512":{"pageid":1145261,"ns":120,"title":"Item:Q1134512","lastrevid":66889794,"modified":"2026-04-12T13:32:55Z","type":"item","id":"Q1134512","labels":{"en":{"language":"en","value":"Descriptively complete process logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3658964"}},"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":"Q1134512$C5D88CA3-F16F-4C8F-97CE-13CA9B4A70FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c8f6d30f36f973b1c064e052550f8857511fc78","datavalue":{"value":{"text":"Descriptively complete process logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1134512$6882654A-D017-4549-A41C-B9E0B8465D75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83d2caa260ff65016ff4f5ca98e9bd44f52a44e2","datavalue":{"value":"0423.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134512$E9FB9F35-7713-4AA2-9585-F3D891C3B280","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2775879ff28d7f2596b86459a29a040ce54ce80b","datavalue":{"value":"10.1007/BF00286492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134512$2DDF53AC-0D6C-4FAB-B153-AB2880AF3F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfd903f25c08705b6ade1a7b25f4cb8ea3bd4e9","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134512$6C5F129C-0717-4ADA-9A67-8BBF6B59206B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134512$2DFCF190-82B2-442E-8F8A-028B73D5D4D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1134512$4412755C-9ED9-49E9-81D5-ACEFE19A5F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134512$FFDF9502-92C3-415C-8251-89020235F501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a710a9da77e16a5c426a3cf826546cbd64f81f5","datavalue":{"value":"3658964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134512$137EAACF-5A0C-41B5-AD57-00E50B9215B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d8c0d98e5c66d33d8e4b4f2ae91fc309d9c297","datavalue":{"value":"process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134512$C5DCBF83-2BBE-4EBB-8DB9-5BE750EE1226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f8763f6e862b9882e90385f6cb0ba2f55a228e6","datavalue":{"value":"dynamic properties of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134512$74D30D2A-B7A1-4166-B5B1-47D8D559FBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134512$52D2B183-A3F4-4605-B0B3-115B591FB514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134512$52A32ECE-6A43-46D8-9E5E-A2CEECA3052D","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":"Q1134512$2A6A16FD-0BB6-4DD8-BE3A-CF375DA31FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Descriptively complete process logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Descriptively_complete_process_logic"}}}}}