{"entities":{"Q5942025":{"pageid":8118827,"ns":120,"title":"Item:Q5942025","lastrevid":41834150,"modified":"2025-05-08T20:44:47Z","type":"item","id":"Q5942025","labels":{"en":{"language":"en","value":"Determination of the class of validity of logical formulas by directed exhaustive search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1637753"}},"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":"Q5942025$14ABB6D6-6D12-4D95-91DC-C2EC594D0D54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1c361cd02a34ee5f760db1721038eddbb175676","datavalue":{"value":{"text":"Determination of the class of validity of logical formulas by directed exhaustive search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5942025$1412D17F-CA86-4885-8DB5-E0991A85148B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"081f514539b69ccbbeacc265ed2e6aff87d304d3","datavalue":{"value":"1010.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942025$01F0903A-5FD4-477B-9EEA-E377FDFD3B3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"deccd9eaa7e1e1015db13820ce67919cac1ab0c2","datavalue":{"value":"10.1023/A:1009468520734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942025$1DDE02B1-7CB9-492F-9C06-FAF50D2FD6EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6b8d96966ed3b8a8923109e109469e8d1afd","datavalue":{"value":{"entity-type":"item","numeric-id":199818,"id":"Q199818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5942025$3A3452D4-A336-4395-A413-9AB0934B6F1B","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":"Q5942025$BDFE028E-4821-4A1E-A0A1-E72371112B27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-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":"Q5942025$463CF6D3-09BB-4874-85F7-7770D603AAD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942025$EE7D0A3E-7210-4752-AA8E-CE3784EE851C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5af7d039bdcb0eac55705a00cc0e1c27341161","datavalue":{"value":"1637753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942025$24BA7881-0C81-4147-B223-89749203D412","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942025$7CF89229-6D00-4788-BC2A-5312E6B33F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd9b552fd3578078a5a2f4bb8f58fe4bb3c54ca","datavalue":{"value":"general validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942025$F5361CFE-9B9D-4ACB-9A4C-A7B22E509C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942025$219CF5CA-BC50-4F77-B7B1-CC06E9DC63E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa505f6f0b62215e5b156ed2e79e24276c16180","datavalue":{"value":"logical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942025$77E114CE-A6B0-4F9F-B0CE-0C7E1978B3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272fa80842c910b73c70e896c71faffcc72eca05","datavalue":{"value":"directed exhaustive search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942025$DADA71A4-D16F-41E0-BAD4-8F33E1AD5053","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":"Q5942025$92B9DAAA-0A8B-4A54-ADC2-0343387CEE22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a001ead60ff54a0897b5d8b332ed372dc0efefd1","datavalue":{"value":"https://doi.org/10.1023/a:1009468520734","type":"string"},"datatype":"url"},"type":"statement","id":"Q5942025$02902D35-6C42-45CA-B2C4-B298D316563E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c439cc19fa7356d46375647b97a977fe5112158b","datavalue":{"value":"W1515539503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942025$EB145A3B-26B3-41B0-A876-58E033E69A27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc152b69658baaf410ec2525d1cf798f071f405e","datavalue":{"value":{"entity-type":"item","numeric-id":4369485,"id":"Q4369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c689570ff01915d1147d7647a0e73ba6d66f991b","datavalue":{"value":{"amount":"+0.8619161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$7D1F4B1C-C9F7-4965-9566-D30F86BFC5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcf73472343b5f1d5624a1b5d509fb74bcd1975","datavalue":{"value":{"entity-type":"item","numeric-id":4529644,"id":"Q4529644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2d60c4f302c9290aebdef1cbedf7e2c50d5e90","datavalue":{"value":{"amount":"+0.8561289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$0DDA3E4D-8A11-46FB-9A3E-F0DBB961F488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be91474f19bc4ae16cc3b5f6ecb1594f0b6fced3","datavalue":{"value":{"entity-type":"item","numeric-id":1818409,"id":"Q1818409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6980ec37858488b0fa5450625abe1e7abde7c24f","datavalue":{"value":{"amount":"+0.8547241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$BA681387-97F3-4577-8A59-0A07626BD7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2971e6b26d0be4e0bd99f08955bbdd6ab326cd3","datavalue":{"value":{"amount":"+0.85296226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$120F289D-B022-4626-B240-371997F5A1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03dae1aeeb1a36912a39fc3555e6e5666a14fba1","datavalue":{"value":{"entity-type":"item","numeric-id":3172866,"id":"Q3172866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2cfaefdf7756f3985ca6e6463430c6201d1e15","datavalue":{"value":{"amount":"+0.84941965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$5AB792D6-3FE8-4F60-A2C4-3209D91F4233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52375f0aa4cdd0e7e93bda142703423dc26b4d9","datavalue":{"value":{"amount":"+0.84857357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$D6D0361A-5C05-43CA-876D-E7EDC841C4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf4275dbfd7556cddf3ff0f425e51bebb5537e3","datavalue":{"value":{"entity-type":"item","numeric-id":4842970,"id":"Q4842970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c937b36025fb8bfb1ef2ba44569a9895801f8d","datavalue":{"value":{"amount":"+0.8477596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$A472D3A8-AD4F-44FA-AF31-FF69045A8883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1514f9fe732806038260b872e60cd76bcfffbae","datavalue":{"value":{"entity-type":"item","numeric-id":3644758,"id":"Q3644758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb856d23b9540f7f7f6a7db715c57d4e76a45e7","datavalue":{"value":{"amount":"+0.8458384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$2A43246F-F073-4689-A58A-2F9A7AAE3960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7122627a1980b9a9372dca05b8a1de2ae1f9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":4255135,"id":"Q4255135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89eed642d68b39624010b6fd69f5d2a3d7cff39f","datavalue":{"value":{"amount":"+0.8437598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$C5A27FD7-2EF1-4557-9698-46C868645542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281a2da786d74d04f76e8a079302ce326111f517","datavalue":{"value":{"entity-type":"item","numeric-id":5150742,"id":"Q5150742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5153270973d69427f20759ec977843a111add6","datavalue":{"value":{"amount":"+0.8432444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5942025$43490A84-693F-4EF2-B7B9-874DD35F30AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5942025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5942025"}}}}}