{"entities":{"Q4370347":{"pageid":6399946,"ns":120,"title":"Item:Q4370347","lastrevid":46996182,"modified":"2025-12-26T00:37:45Z","type":"item","id":"Q4370347","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104443"}},"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":"Q4370347$B345157F-3C14-422F-B1D2-46F5340B6333","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e575030d3463996c6753f2693a8588f0e484be78","datavalue":{"value":"0899.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370347$E01DED1A-3BDC-4676-B161-756A3EDD7F7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370347$7E50C63D-F4BA-4463-85DD-F779DBCA0198","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e323415c9b9bf123afa53c27de1b0795aa8ea753","datavalue":{"value":{"time":"+1998-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370347$EAD2E465-12E6-4962-80EE-641E1F062A9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370347$98D81199-C640-4A22-B29C-12D0C6BCD638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370347$8A0EE65C-A8C1-45FC-87C8-52F7C4DC3910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370347$33B01155-AA27-45B3-9F40-C5B1DEFF2ECC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37d9f3a4b401a682f3fd2b494f288f676015294c","datavalue":{"value":"1104443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370347$5B808C00-DA88-4B61-8CF5-D296487357C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06724a773904c4661c141536901a259bd363379d","datavalue":{"value":"temporal logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370347$0CCAE563-4EFE-4737-90D7-83EACC2642A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01647b755e45307669e59f11b164b077344818","datavalue":{"value":"homomorphic abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370347$7AA926BE-ACF3-40DF-AACA-86913136EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370347$83D3E1DB-58AA-485F-87D3-6C1AE52769DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370347$067D3550-4F02-400D-9FE4-80DA5A7BDA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d5595698fda4436d680e78a5c8acf87be3e49c","datavalue":{"value":"TLA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370347$A78214C8-D66C-4969-B30B-3B46952F3C99","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":"Q4370347$CAB4979D-05DD-4910-93FB-69207F9745C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293b1052db7f7dbf5f3e87d2f98c19430d67e8fd","datavalue":{"value":{"amount":"+0.778042733669281","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":"Q4370347$C72ED6CD-83BB-4452-9828-90FA8CA32873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14179ae865331df2a5da3992d11b07216849c9e7","datavalue":{"value":{"amount":"+0.7673830389976501","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":"Q4370347$6EC77D92-1368-435E-9AC6-D2FF379CADC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7444059a9f1938ecd7437a1edeb1c7cec5bae933","datavalue":{"value":{"entity-type":"item","numeric-id":4818812,"id":"Q4818812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ca7bec96e8832ba695b0db137993d8a68693ab","datavalue":{"value":{"amount":"+0.7575505971908569","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":"Q4370347$647C96D7-662C-479F-87FC-5E0DCA246AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923467ceaeadb7cf8a6d248b690f133c8ae1299f","datavalue":{"value":{"amount":"+0.7497501373291016","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":"Q4370347$199C1B3E-9157-41D6-817C-FFC32F21BA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699e4f4421b4a1db5ca3b19e6665b60a06dabc65","datavalue":{"value":{"entity-type":"item","numeric-id":5305639,"id":"Q5305639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d47d7904f2492216f42395cd9a46dcb439cfe8","datavalue":{"value":{"amount":"+0.745003879070282","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":"Q4370347$3E8A4D4F-7E5B-451B-9A47-4C6A3639676C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370347"}}}}}