{"entities":{"Q1968528":{"pageid":1979270,"ns":120,"title":"Item:Q1968528","lastrevid":47464060,"modified":"2026-01-01T19:53:49Z","type":"item","id":"Q1968528","labels":{"en":{"language":"en","value":"Separable resolution method for checking the satisfiability of formulas in the language \\({\\mathfrak L}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418928"}},"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":"Q1968528$BBF99115-24E6-4B47-A0E6-55DD0A3DFC0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d84b301d44a42185e221ab71f27cf9bb7d6211cf","datavalue":{"value":{"text":"Separable resolution method for checking the satisfiability of formulas in the language \\({\\mathfrak L}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1968528$7485CDBA-FCA4-4E75-ACA5-96D3D28B5DE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5feb3069c04346007542ad36e775bd932ded9814","datavalue":{"value":"0946.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1968528$13F9BC96-A41F-4C2B-9199-BBBA802662A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f6769690cce1a862397332d3c9e9f48eaab217b","datavalue":{"value":"10.1007/BF02667147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1968528$48712E20-7BB0-4F93-BEFC-29E8A07CDFBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1968528$1539B9DD-D7E2-4AD0-A565-6221D791405B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cd021da003ce90b694dcd1b369ed11b6f26639","datavalue":{"value":{"time":"+2000-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1968528$DEF1018A-7ED2-4C7A-9BD6-A25834602503","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1968528$787563C4-F64B-4521-8D16-F96AF5BD9BD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bca903635dd9662fc211cb3dbbf81b2abba7f4ba","datavalue":{"value":"1418928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1968528$A5516877-176F-4D74-AD80-082C082ABF0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1968528$305098FA-DD6A-499C-BC0B-B41CCC702076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1968528$750CA466-5723-4694-89DC-5C0258D8DD03","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":"Q1968528$C4594F34-FD7B-4BA4-85DC-AAD3B8EAE745","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1968528$0E001B61-B63F-4A0E-9929-F5C4BF1B7503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1968528$68C099DF-C044-4FA2-A8F2-24130A840F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a41e1f80402766e0c90dd241d09699cef6a332a","datavalue":{"value":{"entity-type":"item","numeric-id":1905221,"id":"Q1905221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1968528$5540EDAB-F778-4BBC-9B07-E6653D0CA2CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ed19e361d74588fe91c2c72e8c83fcdd803010","datavalue":{"value":{"entity-type":"item","numeric-id":3401966,"id":"Q3401966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c44d7e313d763613fb8b49032b8229645825ce","datavalue":{"value":{"amount":"+0.8642397522926331","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":"Q1968528$F71EF8AC-E7F0-4768-8027-026D8106DEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf4e4f23f371871e2127d997837f6069ba322f6","datavalue":{"value":{"entity-type":"item","numeric-id":3440993,"id":"Q3440993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbbd93454b3f987e7cdef3c6d650af985958e29","datavalue":{"value":{"amount":"+0.8358792662620544","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":"Q1968528$BC4E0861-4512-48B0-B080-38936A2CD499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e42cdd50b8f7a451d8d34e37aaf9538b8b78c5","datavalue":{"value":{"entity-type":"item","numeric-id":2508787,"id":"Q2508787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45cce091c3d150cc53359e3a3b494c667e877db","datavalue":{"value":{"amount":"+0.7818619608879089","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":"Q1968528$E2D65791-5830-4A84-9E8A-6C0C43D67AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2083bde46c2cd2947475edde20aabc55334f380","datavalue":{"value":{"entity-type":"item","numeric-id":852241,"id":"Q852241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968cc65bda0b9cd606fb8a782d8a5e3badd65064","datavalue":{"value":{"amount":"+0.7548332214355469","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":"Q1968528$2224A455-93B1-4892-A3F9-9686608AA087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d4d761e916559290cf9c477590f6214bdd0647","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b98a6f447481efb872d51982816d9bd08556d19","datavalue":{"value":{"amount":"+0.730194091796875","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":"Q1968528$DCA7FF9F-08C9-431C-BB0D-14350584B3F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1968528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1968528"}}}}}