{"entities":{"Q4930755":{"pageid":6960337,"ns":120,"title":"Item:Q4930755","lastrevid":51095645,"modified":"2026-01-16T15:46:44Z","type":"item","id":"Q4930755","labels":{"en":{"language":"en","value":"A normal form for linear temporal equilibrium logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794782"}},"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":"Q4930755$63E976AD-DABA-45FD-9D7B-7E695086E730","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3520507b7be23b6057fb3e3f02a872d21e86e1c4","datavalue":{"value":{"text":"A Normal Form for Linear Temporal Equilibrium Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930755$D383E868-DE86-4D4E-9104-F47FAE2A20C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd849077aab7e8186d38bac56ad5d1f7b9e5d2f7","datavalue":{"value":"1306.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930755$6AB5EE60-9EA8-4390-8137-F5AE8600C133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b0a154016f45cc24637fc995c02211684fcd366","datavalue":{"value":"10.1007/978-3-642-15675-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930755$C461D461-4C55-493E-B5F3-4F737C7C8C05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930755$AAED7A26-B243-4875-98B4-E05BFEEE9501","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930755$1BFFCDE5-E4B2-4179-A332-4CD9E645942A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930755$AFD36DF3-139F-45A9-B667-B63774E7EA71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930755$1D455D44-5E68-4F9A-A6A8-EB5323EEE7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930755$B2F2AA96-B771-438C-A7E6-29A441F2FBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930755$8C0D774C-B0FD-4234-9050-BB6AC029F290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"872db8c6bbe3dfd69e56e001ac65261232b738a7","datavalue":{"value":"5794782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930755$8BEBD83A-DFCE-42F5-913B-541779B6907A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930755$3226849F-02F8-47C0-B90A-2F7FBAF49B87","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":"Q4930755$CF144FD7-76F1-4798-8BFE-FDBEAE08902B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adc37dcf48944566f73bf88f461674b091d29825","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15675-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930755$4433F2D5-3C86-43AC-970B-F124CCDFED8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2afa43b92aec90db2be7bf61922dfd0dcca7c033","datavalue":{"value":"W1568211702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930755$F881A70C-903F-495E-A013-B6CB5CB57ADA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7b1cf1bf8781ff01f1b7fd6f6d35fc46a758f","datavalue":{"value":{"entity-type":"item","numeric-id":4635843,"id":"Q4635843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7deb3ce2b76e0605d988a67f7d1a65b0bb803c7","datavalue":{"value":{"amount":"+0.8483858108520508","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":"Q4930755$6189A7EF-06D4-4DB8-87E9-63FBF857C23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76c8543233f5fe0b6b3529cc1cb9880542e0419","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61965c9c59e8c508a263bd6d85eb186e73666d9e","datavalue":{"value":{"amount":"+0.8398612141609192","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":"Q4930755$78AA41B2-ACEA-4DBB-97D2-D0A4D53CDAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd0d290a57cda8257a97835ab03f105a9c6e495","datavalue":{"value":{"entity-type":"item","numeric-id":4909313,"id":"Q4909313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d08e0bb2fe8381bd41d63c0779c116046dde9dc","datavalue":{"value":{"amount":"+0.8229777216911316","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":"Q4930755$345C3354-8622-4303-9C03-30B6064D98A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45207e18c0a4eccf08fd79359f6cbe5e9114a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2835869,"id":"Q2835869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87243eeedb6fe93d33bd6cf8ac81f59f30c1c9f9","datavalue":{"value":{"amount":"+0.8180359601974487","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":"Q4930755$46702822-9FF0-489E-86B7-79A59169BE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26106c05ae3ffc65c57b778df7444dd87a8d4653","datavalue":{"value":{"entity-type":"item","numeric-id":4586227,"id":"Q4586227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be45b0bf90a4e534a42c1b8cd98309dff7e3098","datavalue":{"value":{"amount":"+0.8168293833732605","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":"Q4930755$713A27C1-3B8E-4C87-9791-DD4723F6F00B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930755"}}}}}