{"entities":{"Q1777408":{"pageid":1788150,"ns":120,"title":"Item:Q1777408","lastrevid":68933961,"modified":"2026-04-13T03:12:37Z","type":"item","id":"Q1777408","labels":{"en":{"language":"en","value":"Extension and equivalence problems for clause minimal formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168198"}},"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":"Q1777408$FF9AB6AB-5438-4E5F-9518-EB763B8A4B14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00719a63bed55a3aab9b4dae5724a8049ddf68a5","datavalue":{"value":{"text":"Extension and equivalence problems for clause minimal formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777408$4ECCB9E2-7173-4D58-8276-86E533E4A15A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5100fcf8c86f4ce3bb34d9f04905b3fe69e33d3","datavalue":{"value":"1099.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777408$D9D50D06-B50C-45A0-B680-7238A57AE28B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$6C752819-C87D-4991-ACE4-1B688AC3EABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$7F08A2D3-3843-44EE-B677-6D4D5DFEC9A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$1E2A514D-0AE2-4421-ACF9-1ADBDFADF45B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777408$63C93960-4887-4747-937C-06CF39128D7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777408$E2851BD3-E6C8-48CC-8AF7-00853D9AD1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777408$F055ED1E-9696-4AB1-9957-CBDB5280325E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee845c7add763deb5f2e28e546e158bfe05f918c","datavalue":{"value":"2168198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777408$D043980C-D6F2-4E6C-BE3C-B05E1751F28E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8cd0a29b7446cb6d416dd95312b689039d75175","datavalue":{"value":"minimal unsatisfiable formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777408$60CB9530-C7E6-4916-BA7A-2F1589DCD616","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":"Q1777408$DCADAB09-348D-488F-9526-973DE75527F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bb6978ffffd8ddc0942a967e268d69642b8b218","datavalue":{"value":"https://doi.org/10.1007/s10472-005-0435-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777408$12231B50-C242-424A-B86F-0254E2A92F20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58da4932eb7423e6d281ae3ed6d49b5ca4504ff9","datavalue":{"value":"W4245494543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777408$3EF444C0-7398-4EDB-853F-5F0D0408838C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$BFF9931F-EB02-4E6E-AFA9-DB95F8D57E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a3e052346b3e42c07257c51858e7ff99f9837","datavalue":{"value":{"entity-type":"item","numeric-id":3738576,"id":"Q3738576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$D8AABF16-0075-4519-9AA0-2AE5E69A7AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$9FFB92FA-C51B-4C5F-941F-465D5E6B8AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$1BACEE05-BAF1-4F8F-A2F9-8025F734E35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$F118F024-2B85-4AF9-AC0E-66E6B3EED9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704ca502f4806fb21235efdfafd344f6db7dee37","datavalue":{"value":{"entity-type":"item","numeric-id":5309031,"id":"Q5309031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$3AE60408-33E7-4EF3-B9C9-6801B39F84B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$8C55B2B7-C00A-4B4F-AD03-D8F638E615C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f5d749e4775b9ff8ad70d19f88e3741e680ea","datavalue":{"value":{"entity-type":"item","numeric-id":3495646,"id":"Q3495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777408$DD11293E-69BE-4590-91EC-B8CEFAC6C83E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39dffcba369c3ac80787843af3291931776ba55f","datavalue":{"value":"10.1007/S10472-005-0435-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777408$92B9C4C4-C07F-425F-A677-9E651DBE9620","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e269a62f43cbe7663d2c9a0ab6f1c6c0ef0446","datavalue":{"value":{"entity-type":"item","numeric-id":2371261,"id":"Q2371261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f8943b49d78c4f33a63d5b7ce6fe803b56d75f","datavalue":{"value":{"amount":"+0.8650037","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":"Q1777408$DED924B3-E222-411D-8D2A-D8650E72B935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b4876a56e69a2952925d517566ad862af5cea3","datavalue":{"value":{"entity-type":"item","numeric-id":1617985,"id":"Q1617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d536519d6a0df462bc7de01b7802827bb3856c5f","datavalue":{"value":{"amount":"+0.8563931","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":"Q1777408$F6E7BD56-6F36-4B9D-8DE7-4B52EBB94FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29dd1aa480773e121d6a7b72c978411a23cda778","datavalue":{"value":{"entity-type":"item","numeric-id":3506043,"id":"Q3506043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617b2b4d2ec097b843cf52f3e44f90da3c40a2e0","datavalue":{"value":{"amount":"+0.8550498","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":"Q1777408$3E8033F9-73C4-49E0-A736-0B4599B72F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5436cbc7c64f5210625d0a54eac9d5b20954569f","datavalue":{"value":{"entity-type":"item","numeric-id":1944188,"id":"Q1944188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e66887e6460df0e502ccdc22a12473d9e67efe0","datavalue":{"value":{"amount":"+0.85077864","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":"Q1777408$A2FF8516-C081-4A42-8B46-039C32D22502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b79a7952bd5d18bc6e19f2edb0e9ef7ec107f8","datavalue":{"value":{"entity-type":"item","numeric-id":2751817,"id":"Q2751817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cef0404cf4ef37e39a5040942f62d6140b8b266","datavalue":{"value":{"amount":"+0.8499688","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":"Q1777408$F5E9E4E8-B535-45DF-B6D6-9210964CB315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f7d5ea737b1dfba3158a93266dc4150bbdeb56","datavalue":{"value":{"entity-type":"item","numeric-id":1770621,"id":"Q1770621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"426665c7ef28d7085efa8c7b4494b5f72e5dd047","datavalue":{"value":{"amount":"+0.84758127","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":"Q1777408$FB700E1D-2723-47A5-AF15-83D98038EA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b695b185e452e074e203b9cfdcfa0c066d69e77b","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fa13d1ec667f6e77ef9ea60a1816d8ac62dfec","datavalue":{"value":{"amount":"+0.84556","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":"Q1777408$7B8106C7-2666-43EE-8570-7637AD47C3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f3360c5be8e01da6791dcaa4e84eeb492564ea","datavalue":{"value":{"entity-type":"item","numeric-id":5018764,"id":"Q5018764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f34be351f1d2ce85eb361fc0d1b5fde249f299","datavalue":{"value":{"amount":"+0.84546185","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":"Q1777408$E37B0B63-FA0E-4804-9127-7A33ECC6A457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b794518fd502dcea6c4eacc8cbe76fd24be9682","datavalue":{"value":{"entity-type":"item","numeric-id":1408380,"id":"Q1408380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d3a7ea4bf9b90000c0b2cb3530bf492c2c4fc5","datavalue":{"value":{"amount":"+0.8447119","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":"Q1777408$65E04C39-A297-4B85-A20D-017C56AD9616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c174508f76de4707251972a7a81c38eedf5c6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee0a3ba9f943d2fedf42ac8728d7570c2c7ec27","datavalue":{"value":{"amount":"+0.84414583","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":"Q1777408$52EE26E9-FBBB-4A2E-8768-C52C50334B65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extension and equivalence problems for clause minimal formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extension_and_equivalence_problems_for_clause_minimal_formulae"}}}}}