{"entities":{"Q4351796":{"pageid":6381395,"ns":120,"title":"Item:Q4351796","lastrevid":46564953,"modified":"2025-12-25T01:16:08Z","type":"item","id":"Q4351796","labels":{"en":{"language":"en","value":"A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1054067"}},"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":"Q4351796$FC61C98B-85E2-44E9-8A20-5E216CA4A49B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3249155bf2c91d351ff25a8f9628458363da9531","datavalue":{"value":{"text":"A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4351796$7E60FE5C-D9DE-4BA7-8A91-22CC89BB042C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b688bb7b0d239666e788be7d80688ea8d5c2c74","datavalue":{"value":"0893.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351796$E893960A-FDEA-42F5-9BBD-3244DE752751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5db0d405f6ae86d2c7391df1633165283031cbc2","datavalue":{"value":{"time":"+1998-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4351796$B9B5B195-CEB0-44B1-ACB6-5D77051B2F88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85beb893fc7317d87610011486c92adc7cb8ee5e","datavalue":{"value":"https://semanticscholar.org/paper/ee6bd96d6d44c486117484fbf3c93728ab84d148","type":"string"},"datatype":"url"},"type":"statement","id":"Q4351796$F2DA9D26-56A9-47CD-A1A8-F96A9A8EE0E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351796$16FF5E45-BCF9-4540-92E9-C96B17AFBB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351796$ED30701F-A82B-4EBE-9C9A-3AE936642376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351796$5A60B86A-5C99-4EB0-82AF-28E71AC0D7E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"868899a06ff28ce0e8271e0933dd332dc11799fc","datavalue":{"value":"1054067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351796$2A3F6208-E045-4FBF-91A7-0B0452CE49A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351796$C3442604-9143-4316-9C1D-334BD618846E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf900b136d2798e9d145d78c6b69aa1c793e46c","datavalue":{"value":"separated normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351796$129B06DD-79A5-4B8F-A922-44B24814D04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351796$68B10399-DB3A-4A48-A0BA-BEFEEB16D1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de1d487b13bc795f6d7d3a519176b769878f106a","datavalue":{"value":"temporal descriptions of dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351796$840D70D2-BC45-4024-AAF6-BF1EC9C12E34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351796$7DC4CB82-BDAF-4A42-B553-1ED041692C8D","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":"Q4351796$129A3236-306F-4282-84C8-A4D64181F767","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c964a8072b3acd1994028d1fc978e3836229325d","datavalue":{"value":"W2053231467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351796$7C4ABD01-8D06-4AF0-BA09-E5E64F9F9316","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed5adffcfcd0ca7deb6fb6e5bfd640d1e57072fb","datavalue":{"value":"10.1093/LOGCOM/7.4.429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351796$F512C25A-B0EF-4372-92E8-B42FAE36AFC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351796$6D640A3C-0D9B-46DB-819E-C12ACEFB7757","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfaf6a96c848cb75c349f53204fe621d13878e64","datavalue":{"value":{"entity-type":"item","numeric-id":4264717,"id":"Q4264717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8f1c85884c6dec461731fd7bbfa09765c6394e","datavalue":{"value":{"amount":"+0.8993149995803833","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":"Q4351796$E368B24F-0315-49DB-A859-2A5851A368D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336cc746c6e34acc1d9c097480aec8072f994d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3497515,"id":"Q3497515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211d372c8749597173265f311bf131891a8fdae5","datavalue":{"value":{"amount":"+0.8120242357254028","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":"Q4351796$A248E899-67E1-41CE-89AD-606D88170D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caaec91331703e40b6f3fb73efacaa3af1532568","datavalue":{"value":{"entity-type":"item","numeric-id":2920447,"id":"Q2920447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6adb72a5c2b9c35fc5a045a4a41b89b3d066553","datavalue":{"value":{"amount":"+0.793225109577179","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":"Q4351796$15331E01-8F0A-4C47-8D84-957EEEF8DE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e916b3968a9ae4a87b0a3e9d69e3e875ca691e3b","datavalue":{"value":{"entity-type":"item","numeric-id":4443401,"id":"Q4443401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61641cbd7ddb30a371378cb7f147c088a8030fbb","datavalue":{"value":{"amount":"+0.7841616868972778","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":"Q4351796$CAF070F3-6D4C-4243-B050-AD97DCF70F65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4351796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4351796"}}}}}