{"entities":{"Q4452643":{"pageid":6482242,"ns":120,"title":"Item:Q4452643","lastrevid":89449421,"modified":"2026-06-04T17:23:40Z","type":"item","id":"Q4452643","labels":{"en":{"language":"en","value":"Worst-case groundness analysis using definite Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048619"}},"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":"Q4452643$266B8430-6411-4523-B609-28F282BFFDA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16d13f66662c2fd13c8296ca036b7ab9ed204622","datavalue":{"value":{"text":"Worst-case groundness analysis using definite Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452643$47C6E3D5-C93A-4799-9EDA-B1DC4CEAAF57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4e76814b70b31671872581ca1bf1415ff521a55","datavalue":{"value":"1103.68460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452643$2EA93EAA-0B5C-416E-AF17-40921494E259","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8b9a6af8d9f5510a82310c86d6ae5595ebec3de","datavalue":{"value":"10.1017/S1471068401001077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452643$94BA77DD-696F-406E-A657-7EA81D4C9FE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452643$D08FF571-4050-4E8C-9EEE-CCE5ED84383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452643$2EE01161-BD71-4EF7-B0A1-7E1A86A21D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b78be09e060d47a3be0e8316b77e796d8d6efd97","datavalue":{"value":{"entity-type":"item","numeric-id":294782,"id":"Q294782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452643$0FA83C67-4C0E-45B0-8261-7A64B13885B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452643$37903AC0-E52A-4973-8DDD-4F808D64876A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452643$A24CB347-6CE0-4270-822D-9932430A4434","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df70690333fbf92387cf0227d946175ac5ea5f6e","datavalue":{"value":"https://arxiv.org/abs/cs/0405101","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452643$762F374E-18FA-4EDC-8CCB-D7DEBE8AB682","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452643$6C4F3130-E050-4739-945C-7C84598AED31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"607d0bcfcb83628a602fe191b1d6cd08d922f05d","datavalue":{"value":"2048619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452643$A3EB576F-F659-481D-9762-870824DD1ED8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452643$5CAB3831-BD71-419B-81E9-9569ECE528CD","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":"Q4452643$BCB26F07-1516-4F70-8BA3-4521B5D02050","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1d2e9ffe886d1d069517028175b4270782852ea","datavalue":{"value":"W1998384504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452643$C3F87062-386C-4B09-A5E6-9146227B92A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051afe469d3c2b6be60e57c1125d47fb60862e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4719376,"id":"Q4719376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0b4341ceb8ab27959c904d1e00b5343bcec46e","datavalue":{"value":{"amount":"+0.9494448900222778","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":"Q4452643$8686B3EB-353A-450A-93DF-136245FF71C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca7ac093264a8db9e26d130ec7c24fdf0f19d73","datavalue":{"value":{"entity-type":"item","numeric-id":4518882,"id":"Q4518882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6887bfb66ae8c9ffac2da92cdefe304238b9bb1f","datavalue":{"value":{"amount":"+0.799988865852356","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":"Q4452643$8289CC89-6127-4AB9-A30F-CA2C7C5B962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c14da53605bda1610f650d59b29f06659c1718","datavalue":{"value":{"entity-type":"item","numeric-id":4452593,"id":"Q4452593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610600a20f2860eb6dec65eec78d8e3ac2712549","datavalue":{"value":{"amount":"+0.7794575095176697","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":"Q4452643$A4056DD8-DD67-4FE6-BCA4-5D76A827DEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd505f059604ca898f7fdb1f1d92177d153124c","datavalue":{"value":{"entity-type":"item","numeric-id":4507857,"id":"Q4507857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899f3961ed9e480dfa542bee0f96ae3931f1855f","datavalue":{"value":{"amount":"+0.7699118256568909","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":"Q4452643$014D716E-5703-41F0-8C2D-044C214CDAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a6ba602ad83e1678e13e45d712548aced5497","datavalue":{"value":{"entity-type":"item","numeric-id":4736509,"id":"Q4736509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ac0445f89c07a6fd5d2e1b2299d456463bad85","datavalue":{"value":{"amount":"+0.7612802982330322","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":"Q4452643$7B8AA7B9-F9B8-4869-AFF2-5B770BFDD9E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Worst-case groundness analysis using definite Boolean functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Worst-case_groundness_analysis_using_definite_Boolean_functions"}}}}}