{"entities":{"Q4377278":{"pageid":6406877,"ns":120,"title":"Item:Q4377278","lastrevid":47001771,"modified":"2025-12-26T00:51:44Z","type":"item","id":"Q4377278","labels":{"en":{"language":"en","value":"Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1115912"}},"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":"Q4377278$4FD68477-1F54-4714-917A-92251F345FAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eac27fe034a786d78df4c8007674e3c501b2e5b","datavalue":{"value":{"text":"Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4377278$7C42A960-000C-4166-9DFC-577B56E5F377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d068055984bc3dd593ff5aece4a8f5cf8372a940","datavalue":{"value":"0890.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4377278$88876E8B-6322-4448-9744-A7C3B7A717E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"432337162f2e933d3bc58b0735a3c5430cc6fac2","datavalue":{"value":"10.1145/256303.256313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4377278$9B432A49-A48B-4071-8528-9DB5B2C4AD91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4377278$752F1AFD-53BE-4FFD-9607-E2CD331A02F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e27abfd115acb68e497ec6f5ee331c823ff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1074341,"id":"Q1074341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4377278$DE727766-D4D1-4678-8F4F-6469BEAE4445","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4377278$60496972-7E00-4F6F-891A-47FA23D49865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f5d120add23d257eabf00a9921160534bdd26e","datavalue":{"value":{"time":"+1998-02-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":"Q4377278$90622C93-C038-44F1-AC1B-DEC6D15E702A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c44fa1c3597944a6601c7493edadce5f85f8481","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1997-44/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4377278$657955C2-C45A-42DF-80DA-6B90B37FE3E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4377278$F37B4BCF-77C1-4A59-A48D-D06414820780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4377278$5B2112C7-67DF-498A-8641-5EACFD14E5DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c3725df8807b48f2cf7710fe2766c72c07e453c","datavalue":{"value":"1115912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4377278$D699E324-2B79-47F3-B729-F21DE9DB8226","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6902ed2160b755ea3b379474a7170d7cad0fa04f","datavalue":{"value":"connection-graph resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4377278$71B9BDC8-9C9B-4843-8CE2-01BDBA1D077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34012c92c499b6a6beb6c6030b4f33ccbf9f4fcc","datavalue":{"value":"regular graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4377278$5DBFF2D9-A96A-4277-A947-6D5F95953522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34faa57811b42c7ef4e4a37c6ce6bdc7e8be0ee8","datavalue":{"value":"semantic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4377278$492B0C88-222E-4C4F-951F-4394B39FDA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4377278$8A8A8AC5-7AC5-4A49-B53A-53BFC5A6F9F2","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":"Q4377278$D55D3DE4-6E6C-4586-8C8A-BCF84D7DAC35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2e5b9ca0224c3e82af063ef9244f781a54667c1","datavalue":{"value":"W2080412956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4377278$171541C9-6EF3-41C4-8CD7-F9CB2EE3281D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59fe00f9c6a8cd4db8689e96ce509083aebe6e92","datavalue":{"value":{"entity-type":"item","numeric-id":4707767,"id":"Q4707767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8dabcb13a0fbfc1220dd1707a6d4058db985a2b","datavalue":{"value":{"amount":"+0.7932091951370239","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":"Q4377278$837D780B-6844-4545-90A9-3712AADBEA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b9f335ce51994a0b52bcaf47730d4119c94fca","datavalue":{"value":{"entity-type":"item","numeric-id":4532365,"id":"Q4532365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da49038d1574be0bf0b824204d57140e342bdc5","datavalue":{"value":{"amount":"+0.7932089567184448","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":"Q4377278$C0CEC1F2-8953-488A-A207-8CCC419F9A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286564eb3bc4c320c48c2ddfca71197638c1cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":914411,"id":"Q914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d1201a5af9202e233f8edbd570142ed6232b75","datavalue":{"value":{"amount":"+0.7684484720230103","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":"Q4377278$B03EBB83-7831-4C63-BA80-25AF98D33737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8983fe7c367a330f0bd751356bbe0157421528b","datavalue":{"value":{"entity-type":"item","numeric-id":4540005,"id":"Q4540005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c9ff79b8044e06a86ed66707d7accee0af4b97","datavalue":{"value":{"amount":"+0.7650530934333801","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":"Q4377278$08A27FCF-3959-44A7-A970-946010335B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83259b6eab39474edd3f1603aaff6de917c62c4","datavalue":{"value":{"amount":"+0.7618275880813599","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":"Q4377278$8B661063-9B00-403D-A27E-A7147B7ACCF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4377278","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4377278"}}}}}