{"entities":{"Q1404983":{"pageid":1415723,"ns":120,"title":"Item:Q1404983","lastrevid":67521960,"modified":"2026-04-12T18:34:28Z","type":"item","id":"Q1404983","labels":{"en":{"language":"en","value":"Hyperresolution for guarded formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1970575"}},"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":"Q1404983$E4F8737F-6EE8-4D64-A0A3-B34815C74F36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"135ad7f0c044f77f6509dde2811ca8b29cdc0f84","datavalue":{"value":{"text":"Hyperresolution for guarded formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404983$8B1471A5-7C8F-415B-8EC3-2D2E98AD93DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"536fe064f40613250059d59b2dc81ed56403e0e9","datavalue":{"value":"1020.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404983$6C353E44-72CB-452A-B460-13A5073ECF5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97c4871969b08795e8f902f81c3c9bdd79f59a3a","datavalue":{"value":"10.1016/S0747-7171(03)00034-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404983$4A1BC254-AA86-460A-B790-8EC9A042ED41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c0f6fffb084684fda0f4584d3f5c73885a1084","datavalue":{"value":{"entity-type":"item","numeric-id":1404982,"id":"Q1404982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$B76E131F-6D15-42E1-AC2D-49F87F98CC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$23D64495-8292-48CD-96C7-41691CA86F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$9B0F4A88-01F0-48BD-8A12-BAAD9AA57B6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$208493ED-E0E8-4645-AF9D-1904B9166EB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988a1f1f38c2f749de54c12ebc5774f827c2b17e","datavalue":{"value":{"time":"+2003-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1404983$24121101-23BE-40B6-8AFF-709FF765D44F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404983$BA8FC6E5-9443-4378-9C6F-8544243CDE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404983$E6D16700-7F3C-4324-B3EC-816FD144490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404983$417E3E3A-C458-4FD5-BC21-3949C21DF819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f9f96797cfb3b1f9694700d9c9f8eefbd3eaa33","datavalue":{"value":"1970575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404983$7FADC087-6D1C-49BE-9C10-D82BC10A4936","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404983$4F6DA4BD-CF5A-46D9-BEAD-1C2CDED35CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404983$48763CD9-C702-42BF-A2C7-6CD1558A1872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e652a583099a212796de23abc094fadccd8ce00","datavalue":{"value":"model builder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404983$AA3BAE3D-E7E1-4182-ABE7-811BF66F4E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404983$E5162CA9-D95B-4CB2-9ECE-DD0C5DE3D257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404983$6C2E029D-95D7-4C21-9B82-52296398F6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d17a50b707af3d638bbc5099f76d17a0a66fdc","datavalue":{"value":"hypertableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404983$E25967D3-713B-4C85-AF03-D6CB74469E59","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":"Q1404983$E6252C4D-4C86-44F2-94C4-3965B0AFD42A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$C250B3CE-BC3C-429E-B515-516EDA9F9534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe5df83a372efc22bd26293b9535ca9a96b704a","datavalue":{"value":{"entity-type":"item","numeric-id":4860647,"id":"Q4860647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$7B78B5F5-9A6E-424F-843A-005AAA8E5422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$A3A5160C-BB56-4EA5-95B0-FBC1AF83D5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$9439CF41-9371-496F-8DC5-E6469E1E631F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207d1a4f947fa872ea38eb5c749f0304803e02b3","datavalue":{"value":{"entity-type":"item","numeric-id":4282593,"id":"Q4282593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$9B95FFDF-BBFD-46B9-913E-2B0EC69267AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f7fa6caa55b91028ff32d7dc4d210dfa455de8","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$D0DDBAFF-E11F-418D-BE5C-9FA66D9A1AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721be9751bbd7d2f2ed196912b01f292059134d","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$91196A42-235F-4ED3-B7D1-B91A18B0B475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$90C7BA0F-F6D8-4A96-A33C-0338914EB82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548bd119dd6030266c21e0dde274e652b5fc221b","datavalue":{"value":{"entity-type":"item","numeric-id":1867216,"id":"Q1867216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$738EAB71-B9F3-4744-86D8-5E122BCF1F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec26365896126f6bfdbaf8332a7af025cdb680e9","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$E9BC5B98-1E40-4BB5-8534-67104E459A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c335236abaa04683fe38776f26f4c77eafe7117c","datavalue":{"value":{"entity-type":"item","numeric-id":4514013,"id":"Q4514013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$B9E8BFEF-E3D6-4F9D-9AF9-58880B3219DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$EBCDF844-43D0-4A6F-A0CB-B424F155C5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecac0a652f45f674f51a1ec27cc7ea80ebdee54","datavalue":{"value":{"entity-type":"item","numeric-id":5234715,"id":"Q5234715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$6826126F-8952-4156-BF93-5FE02B17936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f01f07184972d79c428d0447a37efc95d7b1134","datavalue":{"value":{"entity-type":"item","numeric-id":2996155,"id":"Q2996155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$772733DC-DBC6-4432-8718-057ABE112558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$B2F36D6E-A010-411B-B302-FC35C2CB8332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a37d29fb9a13dd0adf7b60fdab02712c4f1fcb7","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$01D051F3-9555-4D16-8BC1-9A3EEEDDBBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$53C5B86B-FA1F-480B-A5E5-086DB880B3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5b6d19e94d4cc7b98fd19b426fa4c57e4211e3","datavalue":{"value":{"entity-type":"item","numeric-id":3838813,"id":"Q3838813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$7E965159-09E3-411F-846B-800E99B15568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca54508906e4011695aeae26b951f98ffd436a","datavalue":{"value":{"entity-type":"item","numeric-id":4503911,"id":"Q4503911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$3FAE6E9F-4747-4779-9093-1763DA139712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b2d7be33c59ebd83f78569926f67da2da3752e","datavalue":{"value":{"entity-type":"item","numeric-id":2751044,"id":"Q2751044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$22114A91-C3CA-4636-A6D9-165072BCD330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f88b928513b729cf001aa1489ca23d8f7aa55d2","datavalue":{"value":{"entity-type":"item","numeric-id":3142019,"id":"Q3142019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$F91E989B-9973-474B-8135-EFAEF74FC1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$0DA65F1F-7150-4551-AAA5-2F39FDD2EF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$F9EFDC41-46E2-4F4A-B574-63355A36E2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404983$6FAEF552-39BA-409D-8813-CA7138DE63AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323f4150e431c7a7fd40ff34727ff135b7937bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2767089,"id":"Q2767089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1571f23e15bdbb16b0362da29e8c51cde7bc2fb2","datavalue":{"value":{"amount":"+0.8119768500328064","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":"Q1404983$B3852720-8961-461D-A1D3-4F2314B660E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3fa1b2809a248c3f1c00a31447e2fefad07726","datavalue":{"value":{"entity-type":"item","numeric-id":2996155,"id":"Q2996155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92aef2f9faa0eb0307ffc1f5034b3754294bf4fa","datavalue":{"value":{"amount":"+0.8083268404006958","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":"Q1404983$DF9EA429-224D-4CF8-AD10-2B81CB76D529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d774b848aec03fbaa972ca7064d768c2b50c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1fa673abfaa07d639babde71901d39fa618d6e","datavalue":{"value":{"amount":"+0.8015276789665222","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":"Q1404983$172A9651-10F4-4CEA-A92C-57BD94CD1F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1fa673abfaa07d639babde71901d39fa618d6e","datavalue":{"value":{"amount":"+0.8015276789665222","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":"Q1404983$5972BAEB-02E8-4C26-B7E5-057C3BEC2474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6312db91b7d31aac91f5b41943dc962d102bea","datavalue":{"value":{"entity-type":"item","numeric-id":5307053,"id":"Q5307053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32a072a66f6c555c95df663fb95915e88267475","datavalue":{"value":{"amount":"+0.8012109398841858","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":"Q1404983$683463AC-695D-4796-B669-18EF0D3B5F90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperresolution for guarded formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperresolution_for_guarded_formulae"}}}}}