{"entities":{"Q4493899":{"pageid":6523492,"ns":120,"title":"Item:Q4493899","lastrevid":47022435,"modified":"2025-12-26T01:48:05Z","type":"item","id":"Q4493899","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1487491"}},"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":"Q4493899$EE4697E2-D608-4B21-8E34-3DBFD8D000ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa3472f48734ce272c49d68f1a77de04c8471dc3","datavalue":{"value":"0952.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493899$1D62A1C3-6FF5-4105-9A3B-BC299D2C58A9","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":"Q4493899$A6E393A3-C734-4005-96DE-2BCB1EF5B289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4807edd6e640ad656e01e00a44b61d620e873df6","datavalue":{"value":{"time":"+1999-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":"Q4493899$1EA8629D-14A1-4D52-AA36-AF12DBE5BC47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493899$96AA3F78-350E-4E87-B64B-F5FCD882A43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493899$D64213B5-E432-42FD-9A41-5544138F4C28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f582d16b10e05d299d4bf12e97ab8b3d3be22ca","datavalue":{"value":"1487491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493899$FA31D299-6111-4C18-8422-EA795ADCB4B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5484917dd1e4852fd5f5b095f9ff55f7ed8cf1","datavalue":{"value":"generalization of Lamport's Temporal Logic of Actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493899$6E049EB2-497C-4ABA-836E-2D3483DD8C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493899$2FCEAFB7-AFC3-4D1A-B219-4C83FB52D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03899a55ad4c255f727aeb6205199c6050c3c11c","datavalue":{"value":"propositional fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493899$D0544906-E661-4FAA-A25E-86B39B8A5064","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":"Q4493899$F1D259C0-8436-4D1A-94EC-0FD06F8E27B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074fc49899c2af0bbba15842ddb799ce0c6efe54","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0ed44e8a057946e39a84774b9ed8ae33849866","datavalue":{"value":{"amount":"+0.8482391834259033","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":"Q4493899$15CBC240-321D-4860-AC05-D37C68D3E910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b380f5b0b0e32143848d3f6570088394e2d53fdb","datavalue":{"value":{"entity-type":"item","numeric-id":4853320,"id":"Q4853320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f813d94e906ae17d651b4170ef71e2afec2c46d1","datavalue":{"value":{"amount":"+0.8356437087059021","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":"Q4493899$12C4F0C7-7982-4DE2-9FA6-2CB6E4E6CB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb229afd7e95d5e1272686403638a6c34aa4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":859839,"id":"Q859839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411d976b52cfd2e7e166d37590f1d70cdaee9db1","datavalue":{"value":{"amount":"+0.8214052319526672","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":"Q4493899$EC6ED02C-3A95-48B2-B0F1-5F8976ABB059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67887c1b9ac2b04b34ba532254b4dda83cea7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1127537,"id":"Q1127537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650b5903089524e9e488179152f946b88608b9d8","datavalue":{"value":{"amount":"+0.8042067885398865","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":"Q4493899$8D140901-9F2C-40A9-AFBF-E9B3259BD24A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4493899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4493899"}}}}}