{"entities":{"Q3401103":{"pageid":3411806,"ns":120,"title":"Item:Q3401103","lastrevid":80395802,"modified":"2026-05-06T16:05:58Z","type":"item","id":"Q3401103","labels":{"en":{"language":"en","value":"Destructive rule-based properties and first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664064"}},"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":"Q3401103$BF06C692-49DA-4622-8550-1C59A9444DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"116f32b7e8505d2006d6cf26ba29d51fb299d49c","datavalue":{"value":{"text":"Destructive Rule-Based Properties and First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401103$D6579B56-C963-482E-806A-3CC911A1F66F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"283a3ac58aeb8bdd34f1eb13a01ac02d3f385767","datavalue":{"value":"1274.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$08A7EACA-F026-4EC3-9E75-2AA51EBAA987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e990599990ba2f073fa7540e9a3a7873d8fab298","datavalue":{"value":"10.1007/978-3-642-11266-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$18054606-F3C0-4F4E-B652-897745515D75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a29639277e7ecbfcdae25766e02061099285ee","datavalue":{"value":{"entity-type":"item","numeric-id":456058,"id":"Q456058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401103$DE5A987A-BE8B-43E9-B155-9155B1E20BD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"20d9701f76fcc5f7b32bc216ad1215c37bf62cbe","datavalue":{"value":{"entity-type":"item","numeric-id":3401085,"id":"Q3401085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401103$277B32ED-2BA1-4081-8CEA-CC214F1A6899","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401103$4BB9CBE5-6D75-4CE6-B071-2DA3506B0DEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$66FE24D0-FE30-444B-8374-0B964AAA9A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$9756E145-277E-492E-A9F0-33F05076257E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$6B7754D0-85B2-4F38-B9DB-42DD4F60DD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$9C84DB53-4D8F-432C-8536-95FCD16BCF7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"045530602c912f9a9acc58c1fbc04cc3824a160d","datavalue":{"value":"5664064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$7FF2F39B-D310-4257-8F9B-1A39CC8C3D06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401103$CDC46026-E8AF-4EC1-B8EC-C7E43812C0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401103$E3B5A379-99BF-4724-985A-19F8D7AFA436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401103$FCB3252B-452F-48DA-80D7-F523534C6448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401103$CB080EB1-FCC0-4DC9-B26E-13FE966232D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b6952d41e0d15d8c6a173974d59efeb71119bc","datavalue":{"value":"destructive rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401103$3F4498A0-6E30-41E4-B590-6ADFDA30E373","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":"Q3401103$1CFAA8A7-9EBA-49A0-BD13-95FBE98BC653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f41fa335db915390bcb5683133583e3be488bb3f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11266-9_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401103$6220D712-C9E6-47E3-99D0-E3A19BFB2BE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0c43b98f8da214b3cad36c37286caa1fd2d560d","datavalue":{"value":"W1604383174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401103$50611149-E7A3-49DA-97AC-77605C143F9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b06cedc1c0941da1031ab215707334c383e100","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a158174b7b3fb131f7f7e5ef340db3155c84b0","datavalue":{"value":{"amount":"+0.7217468023300171","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":"Q3401103$591D2E74-C7FB-4533-A73D-D182878412B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7a6481fe2a62741768bdf085bf0300e8771a15","datavalue":{"value":{"entity-type":"item","numeric-id":5072610,"id":"Q5072610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1c4a05046f9a9c77c453cb1417bb3cba5e5a03","datavalue":{"value":{"amount":"+0.7156288027763367","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":"Q3401103$2DA070C4-CB2C-4435-9C80-A2F8D4F074EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b25c901128037bddb4e99178602f3012e0464a0","datavalue":{"value":{"entity-type":"item","numeric-id":3988837,"id":"Q3988837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8bcfe5c33971e33d3776076920b2a6d9796a1a5","datavalue":{"value":{"amount":"+0.7107715606689453","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":"Q3401103$9FE653C1-8D97-4A42-8F8A-AD82C844B094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a271efe695051d8e7bfe86d410c1a117c7f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":5404481,"id":"Q5404481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4fca211250ada5b8f31578e6f0b39f1471b86d","datavalue":{"value":{"amount":"+0.6877539157867432","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":"Q3401103$1CACD1FD-FC6E-4683-938F-5DE650D7DA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60566e5f178d618046c02fabf14521a842e304e4","datavalue":{"value":{"entity-type":"item","numeric-id":3502636,"id":"Q3502636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2906b955becdd7ad7d31ddbadc304aae293e031c","datavalue":{"value":{"amount":"+0.6840581297874451","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":"Q3401103$740EA3C8-97DB-49CC-8D4B-98E66AD51F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Destructive rule-based properties and first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Destructive_rule-based_properties_and_first-order_logic"}}}}}