{"entities":{"Q4325792":{"pageid":6355393,"ns":120,"title":"Item:Q4325792","lastrevid":47309779,"modified":"2026-01-01T07:45:01Z","type":"item","id":"Q4325792","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733404"}},"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":"Q4325792$53E4E02F-4396-497E-95CE-75956FE02762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5926395363086770c7f78e15213cd88405d15e6f","datavalue":{"value":"0831.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325792$F7A6C048-D053-471A-BF4C-43683FC4CFB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b96ce60ac380170c541d671bcd7c310432fc984","datavalue":{"value":{"time":"+1995-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4325792$060C4BA2-7081-4E26-830F-57CEEC1C5578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325792$2216B046-F95E-476C-B030-D0F160406AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325792$8E53B0DD-1160-4A9A-B368-CF6BA33BA1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325792$C56C7068-B412-493E-AA89-C688C6DC6EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325792$5FE7273C-EFAF-4377-A760-878F8DF10D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325792$BBD615A5-E2B7-411B-8208-67897F3B7065","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab654389a6189becf476e2779ae3e9fcc3cf0b71","datavalue":{"value":"733404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325792$7B9E5583-06EB-4578-B5DD-492602876BA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e580fb2801b01ef45e68b0a545d0c497b2bc124","datavalue":{"value":"modal arrow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$DD2094F4-1A9A-45DE-8B25-6C21F8443FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$DE894D92-3FD7-47AD-8C95-AD505ABB5B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73c0f702501a139baf90c711c45569acec4f210","datavalue":{"value":"procedural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$BB4EB75C-F5FA-4D38-85AD-B0F7093D0A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6574af815328b5bcde4251ee30bd444f6dc2fd09","datavalue":{"value":"structural inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$8503CB87-89C2-41E8-B9B8-E533B2EB88AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2fc9f56209eee2454e3cbbeeba04e4d47883a9","datavalue":{"value":"procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$C6BD1F18-CD7E-42C3-946E-917AB8EB2979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93492db4f1648619478ae1265cec11a5a9717ce","datavalue":{"value":"relational algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$D0A8077D-14BD-42B1-AA5B-09900A0875B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$E1829115-D83D-4F09-B970-54ADCF1ED8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ec47c9f24f150e7389a5350129b9cbf35ae8da","datavalue":{"value":"relational operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$D2DD8464-5820-4015-ABAA-D9A848B81DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$AF62C01E-2137-4B0F-8907-DABA8AAFC2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ed348d1b0e0432d398dd28181d6c04c8f91b34c","datavalue":{"value":"transition models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$492BA85E-CF30-48C3-A978-D0C2F64F08A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc4d1e36bda55503aa0a83eb0e1419c02d22f5a1","datavalue":{"value":"regular program operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$61198439-48D9-491E-A016-74D56A439101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86a89915891c3f8fe8ec408601fb943265fac7c","datavalue":{"value":"type-theoretic analysis of procedural operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$435BED00-D506-4921-A185-92FDDC6BCA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1258b76c3a7c0fd21ebac6cd86839de668c0a407","datavalue":{"value":"dynamic modal logic with updating and revising","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325792$EAEF12B9-C7CA-43EB-B3A9-07F44B023966","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325792$1DB28580-BC47-49CA-B4B7-2F4E9507D98C","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":"Q4325792$F214077D-0011-4592-95B6-5F8ECEC4E74F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4987f567d7f9b76602466f4371dfc1d0e793f91e","datavalue":{"value":{"entity-type":"item","numeric-id":4876413,"id":"Q4876413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab553dacf1e5548b27817d6039e1e59e31cd328","datavalue":{"value":{"amount":"+0.8127337098121643","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":"Q4325792$FA0680F0-74BB-4CDB-8CE5-E1737AB94B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96001cc2a6171f9c36554272d41877ac0ea5f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4518805,"id":"Q4518805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2151a4085461f9b71ed199ae7f3bd20067c53e2b","datavalue":{"value":{"amount":"+0.8126571178436279","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":"Q4325792$3376B84F-21CA-48D9-AB97-8F6277FA1428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b08018605d038b12287d8657e50c8cd320a70b","datavalue":{"value":{"entity-type":"item","numeric-id":4698604,"id":"Q4698604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6a0f2de622f4c019f8445425574590f800ba3a","datavalue":{"value":{"amount":"+0.7810875177383423","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":"Q4325792$D3CCB15D-4CCD-447C-BFFF-4A7C79A1DBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab47cdfabdab80d909285408f28e544633420fde","datavalue":{"value":{"entity-type":"item","numeric-id":4349283,"id":"Q4349283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b68047eeba9852cfe02cbe6687ddd8dc8d8e460","datavalue":{"value":{"amount":"+0.7722133994102478","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":"Q4325792$051E73DF-643D-422A-B89E-0FE48AF90346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2a4e0c4032ef6ace2e0a26f9153051b629d92b","datavalue":{"value":{"entity-type":"item","numeric-id":598299,"id":"Q598299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6b6958562ffe2be58aade74a78d616e02b1978","datavalue":{"value":{"amount":"+0.7706530690193176","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":"Q4325792$97A363A2-B300-4BC3-A243-2E2EE211E109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4325792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4325792"}}}}}