{"entities":{"Q4325785":{"pageid":6355386,"ns":120,"title":"Item:Q4325785","lastrevid":40785492,"modified":"2025-04-04T16:41:03Z","type":"item","id":"Q4325785","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733397"}},"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":"Q4325785$9DD50C8B-FA29-48B8-8D4C-05F9EC9BF216","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e31e50b52d77f84a0c6260d7851e60961ced50a9","datavalue":{"value":"0838.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325785$8D06230E-B217-44C3-BFB6-3CA3D607A616","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325785$A9A4E8FF-EB16-4D78-BCCF-C471D8E9ECAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"818d4e227be848826de7c68bd56964bdf6300a06","datavalue":{"value":{"time":"+1996-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4325785$0DAD3CA0-7930-41D5-B4DB-86F58549FDEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325785$1A15E232-92B2-46DE-B10E-BC76AC771DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325785$D8C9B346-2E90-4FB9-ADB8-9C0B3D700E62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dee68ed904bad441c7fc290b12551fcf26a69756","datavalue":{"value":"733397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325785$7A8881E5-E8A1-4C0E-AF0D-51153A3CB32C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325785$98609399-A7E3-4448-A247-3622955148DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef9596756fec5010a7f36d43583be0bdeb246d","datavalue":{"value":"programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325785$C7E30872-5CB0-4104-A508-44FD39665F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6788ff3ce81dbef4a08d2730f44113be110327","datavalue":{"value":"two-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325785$185DE270-5BDE-4402-89E8-F52EA7E6B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc8888b6441019546eb7776ade4a1b2ca54b587","datavalue":{"value":"dynamic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325785$3DD1E1C3-76C1-40D2-92FD-A42E79D6B674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325785$1EA06D57-0A75-4370-96DC-9FDB3994EC73","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":"Q4325785$6ED0C10C-06CA-40E2-AA30-0B02386ACE37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a832954747f17309b6255bfea1f606a75d62b9","datavalue":{"value":{"entity-type":"item","numeric-id":4448344,"id":"Q4448344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd7b43bbf7a0a08b775a221ebd028f3aae5ebdf","datavalue":{"value":{"amount":"+0.85707474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$4E70D4A0-0BEF-40D2-9CAA-6C7577B2C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254533dbc1834873bc702e1c327348b2eb041d7","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdec26afea093fae5737b4f7d064c8c87e7fe958","datavalue":{"value":{"amount":"+0.82120264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$9788BCCE-7BA7-4B3C-89A9-124DFF3379DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f973b9d4fa03e23db62545e9f971f8dae1bc0abc","datavalue":{"value":{"entity-type":"item","numeric-id":2848045,"id":"Q2848045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebe2cae997ed9728bd10164c6c9dd53f09a998c","datavalue":{"value":{"amount":"+0.80724275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$4E37C70C-41AD-477D-8108-9FB9E2AA674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1daab6f3f44f2f99cfdd2401d4b42f2e35bb627","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039ad2b9fe09b6998370290989d4003db02ee466","datavalue":{"value":{"amount":"+0.80149204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$05B53358-42E6-4E4D-A736-2B1802BD72A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963193bb7038e961d45b8255688cfd1b5cc98b87","datavalue":{"value":{"entity-type":"item","numeric-id":1577347,"id":"Q1577347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62c095c26ff462e96b066a429f48c73e1694756","datavalue":{"value":{"amount":"+0.79864174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$D9DD6428-F970-47C9-B679-E52D4301EE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dcd91ed7b2bc52dfa3b2cc5d18f7e5fd82da67","datavalue":{"value":{"entity-type":"item","numeric-id":3602939,"id":"Q3602939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5121697e7f93f18bdabe965ec61125e5c3df04ca","datavalue":{"value":{"amount":"+0.7978445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$3DA2ACD6-6650-488C-AA0F-5010AD1EAE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bff1a2f11f3233afdb93997d32348e5e91c81e","datavalue":{"value":{"entity-type":"item","numeric-id":5249671,"id":"Q5249671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587dd7b8dbd34711b9d8a1f615f977dc95e4c54d","datavalue":{"value":{"amount":"+0.79697615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$509FF8FE-2E36-429B-997C-34CAF4C41701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b69806df4ecea839c519ab1bb574fc8bec94e88","datavalue":{"value":{"entity-type":"item","numeric-id":3356290,"id":"Q3356290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aab2b22a8ee321cd8745d8bfce5bb654c5ccef0","datavalue":{"value":{"amount":"+0.7962161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4325785$F58FCF0B-6B9E-453A-B571-85C096EE353E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4325785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4325785"}}}}}