{"entities":{"Q4364391":{"pageid":6393990,"ns":120,"title":"Item:Q4364391","lastrevid":46511889,"modified":"2025-12-24T22:50:26Z","type":"item","id":"Q4364391","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088043"}},"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":"Q4364391$F7B2EF62-6F99-4DD4-BEB0-B6662E76EB22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf7323d4ffd4f0bbb0ac5a0856a539b44b4a9fc","datavalue":{"value":"0885.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364391$0815716F-04C3-4530-AAFF-3DC48D944A24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364391$BF534E99-E0F4-4DF4-8AE2-5CE95BACDF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364391$BF94E30A-D40A-4F53-AAA2-EDA3AC8318D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364391$9DA04B4B-597F-4A9A-A77F-BE21462343CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364391$6DDF68E7-1873-4B2B-A028-08502605D969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364391$7373F4B2-1FB8-41AE-B8D2-920B5A0415FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364391$DD157C5F-73F6-4F39-882D-71C8A64B13D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d24a9feba2e137829ae5398c4f397fa0c0dffdb2","datavalue":{"value":"1088043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364391$A7192655-DD32-49A0-B774-CA8C119D20D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d8c0d98e5c66d33d8e4b4f2ae91fc309d9c297","datavalue":{"value":"process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364391$35780B8E-9545-4B48-9021-5B39273EDFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1dfcf45a7330a9f202e8fe2eb4069bf18c16248","datavalue":{"value":"first-order modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364391$6A4628BD-0B59-4FB8-B794-609D76CC735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364391$D803C996-76C7-4D9E-8A77-36CC78E5309D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364391$BD5B8889-934E-442F-87B1-AFD2E113CAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c672c02e2386fdbf560ed2948f7b0c6b8dc643","datavalue":{"value":"local model checking proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364391$04D6A01C-2FA9-4E21-8F9B-A831F87E5DB6","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":"Q4364391$AC265679-7FCC-4700-AB83-5A054F97C6B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db11469f5184274a9f6b9ec4cfa18d79f1bd9b35","datavalue":{"value":{"entity-type":"item","numeric-id":4222879,"id":"Q4222879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502c69d6a2289b6c4a155be609b1265caec17a12","datavalue":{"value":{"amount":"+0.8541263937950134","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":"Q4364391$6F3F8AC6-205A-4DFA-A304-64A5D59FD4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2df2fdfe28870f53a9dc2736e16c23fddfe9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c925e25442ee4ad05a0546a5db169a0a550dbc51","datavalue":{"value":{"amount":"+0.7994910478591919","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":"Q4364391$353ACE2D-E08B-4FF8-ABD6-DFB06C031C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1223bf56fcfae24476937a6afba92c507eeae72f","datavalue":{"value":{"entity-type":"item","numeric-id":4764629,"id":"Q4764629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33eb5e1d26c4b32de37ee50c3612ff3b032f078","datavalue":{"value":{"amount":"+0.7937116622924805","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":"Q4364391$30CE676D-C263-4670-8315-FC8BD7047D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33de92247cca4205a2cf29c212dff398bed52741","datavalue":{"value":{"entity-type":"item","numeric-id":4630295,"id":"Q4630295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc3c997526b4372c065233d583e6487cf016e7d","datavalue":{"value":{"amount":"+0.7935640811920166","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":"Q4364391$0F5343AF-70B6-4E1F-B75A-2CFA494C8CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651f9b5ddd654c3ba88bb7daf6d2b34a0c2ba690","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066ec9b9659f3349b3380bdd09c09bb9fa041880","datavalue":{"value":{"amount":"+0.7860733866691589","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":"Q4364391$99D73E19-A8F1-45D7-A920-C0A33EF8CB4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364391","badges":[]}}}}}