{"entities":{"Q3682464":{"pageid":5712370,"ns":120,"title":"Item:Q3682464","lastrevid":50092207,"modified":"2026-01-12T22:15:31Z","type":"item","id":"Q3682464","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904560"}},"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":"Q3682464$6E0D7452-04EA-4C04-B357-C043E1FE5F5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1418e3f6c774b1dadd009dc6ec4f4868423256a","datavalue":{"value":"0567.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682464$550DCCAE-CBE8-4C01-B2D9-8882AE7734ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682464$1B0C0003-249D-4916-9335-FB245BC9DDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682464$5405D3AF-FA15-4E1C-B3AF-44287B7059AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3682464$B4054A52-A862-4E8F-A58B-C0663627080D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682464$8DA202E8-30CE-4A5B-B1F0-FF4DFF1EF49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682464$2748FD5D-1405-41F1-8EA3-9C8E46E9DB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682464$1EFA11B1-817B-4214-AEA8-4C78532C686B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b7ae4d740391b9147c847582cc31a6b758d1894","datavalue":{"value":"3904560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682464$F5921158-3D6D-4483-95C0-2CD665643752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c8398070eb847fe373357a287fb45bd6d1fe68","datavalue":{"value":"proof system for propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682464$8EA20E23-FBE0-47D7-BB58-A958899D371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f357cfc018bb9f44cd830fc5865ae80e5811a4c0","datavalue":{"value":"nonclausal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682464$7B5E05E5-25EE-4279-8B80-BE0238734A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682464$F271D018-D74C-4F7D-B0A0-8D725B138746","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":"Q3682464$207F182E-8860-465C-AFE7-6D0EE22E4C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a29d0306f804f3bd56e2fc0751c80afa2ebd71","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b255b79973ce3212a0f3498eee4fc876a3e8963","datavalue":{"value":{"amount":"+0.9064709544181824","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":"Q3682464$95FD722F-EE9A-4B6F-83D4-86E63111AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac829807b706662d7bd51fdde4ecc1b25ae19de","datavalue":{"value":{"entity-type":"item","numeric-id":5202982,"id":"Q5202982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a421ed9fbd54dd976a1198a39bd684b12b911741","datavalue":{"value":{"amount":"+0.8342228531837463","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":"Q3682464$F628042E-B193-489F-8BF3-205968B8B1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0678c8baf9c876545b77d473b06988a25fb5c817","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b34d77f8fd72912c525d07f6cdeb310fa1151dc","datavalue":{"value":{"amount":"+0.815335750579834","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":"Q3682464$88CF41A6-A8AC-4A81-8331-A6384D0CE175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f0d4374c676cce391044b7b583c95875b00230","datavalue":{"value":{"entity-type":"item","numeric-id":5436697,"id":"Q5436697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a60371be676b242d1b49af5aa029099b2b9abc","datavalue":{"value":{"amount":"+0.8092987537384033","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":"Q3682464$84282B8E-6F11-45D8-AFFF-574183C20055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1382d468932f296c2840c38fa17b418420180869","datavalue":{"value":{"entity-type":"item","numeric-id":1123186,"id":"Q1123186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0552959e8438844858d208cb0a44b4aa5610da13","datavalue":{"value":{"amount":"+0.8091335892677307","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":"Q3682464$3DED34F9-B790-418B-A848-0F9EFB5FD9E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3682464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3682464"}}}}}