{"entities":{"Q4863689":{"pageid":6893269,"ns":120,"title":"Item:Q4863689","lastrevid":47386762,"modified":"2026-01-01T14:29:09Z","type":"item","id":"Q4863689","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 837781"}},"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":"Q4863689$74AC7B53-DC0A-478E-997E-DFFBB739A164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ad78648d8a5a545fbc0600d71cf621cef9cf453","datavalue":{"value":"0838.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863689$1768412E-4863-4807-A5EE-55C6F01B1F09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4863689$5CBF43A7-6B68-468E-A997-496598353D1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6e8ac31ba2adc3c0462a571bc26630fef80971f","datavalue":{"value":{"time":"+1996-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4863689$B8C20A18-FC7C-4E90-9A68-4C0D3481CF2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863689$82E1E4E1-45B1-433E-9FDB-425474D7F21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863689$F56D7591-9960-41B2-97B3-A570E68F3467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863689$9ED348E4-F33D-47C9-8FE7-DD4167C52F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863689$554206C5-0132-4F50-9879-482C6103B7A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"859dd77a9dbee7695275ba21a2189fef1a92004c","datavalue":{"value":"837781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863689$C4C189B3-2E46-4A66-B93B-F3508E312687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7436337e66813a2ffd31cdb211f2dca3cbd2cab","datavalue":{"value":"constraint tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863689$972E3A30-0AC0-47B8-9B85-28A93BCA3667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863689$1FF6E073-50D9-4C3B-BE25-0178D3D9AFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cb1280c8bfb9f52e42deb37a05e180b300ef13f","datavalue":{"value":"Tseitin's structure preserving clause form translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863689$1D825EAA-4227-4DE9-8D57-D88DC295D788","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":"Q4863689$909431A5-6757-4F0F-AA14-3C8AEBC5BEC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af61d68d65e8dc4192049f5fe3383b8343adc04","datavalue":{"value":{"entity-type":"item","numeric-id":1924752,"id":"Q1924752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460b544ec3616cfba3d8c5693349906778bd1376","datavalue":{"value":{"amount":"+0.9229570627212524","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":"Q4863689$F1EB651F-222F-4759-9874-7BA4A4008802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc47d5d7bda03aa5f81bd804c6f977624a87a40a","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26575205b81ba93b54f187c3c64d4240c619edc7","datavalue":{"value":{"amount":"+0.80914306640625","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":"Q4863689$0961B1D7-3BBF-4CE8-9F13-5E6FC7781C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88e048a538621a26aae1dffbbfee6482cac1e42","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b5245a3f49343dd0306927bbb5f6e879ad1d6f","datavalue":{"value":{"amount":"+0.8089243769645691","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":"Q4863689$5EA6D357-39E4-4F4D-8867-99E505A0E058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd2d2305741807fcd957c6d5ff9562d76a47fc2","datavalue":{"value":{"entity-type":"item","numeric-id":1193860,"id":"Q1193860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79eb63715750e13004912d1abbd8e8baf4ad8b39","datavalue":{"value":{"amount":"+0.7843387722969055","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":"Q4863689$58B9FE7C-E6B8-4DCC-8F44-D19C033926AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb55ad1cd98a30a2f48dd36ef20984803a6a1500","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e41e5ebed9a6ab7bc98e6ce2e6d086569e2e75","datavalue":{"value":{"amount":"+0.7773900628089905","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":"Q4863689$7551EA16-E340-4A9C-A6B6-AC6F6AAE978D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4863689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4863689"}}}}}