{"entities":{"Q5055728":{"pageid":7085305,"ns":120,"title":"Item:Q5055728","lastrevid":91919678,"modified":"2026-06-05T00:24:33Z","type":"item","id":"Q5055728","labels":{"en":{"language":"en","value":"Negation with logical variables in conditional rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631123"}},"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":"Q5055728$14C5DBB5-B533-4E77-A9B5-A12C31D3889F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0d05b6384caf4d56c0bd6bb4573666349a03a19","datavalue":{"value":{"text":"Negation with logical variables in conditional rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055728$F93E4E0B-6869-4DFA-ABCF-DA8F8655B615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e329f65cc9c1bc9c0bfc9675bba85490da36ae6","datavalue":{"value":"1503.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055728$DA61D6E6-0F78-423A-B02E-792F4E52FA8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3904539e219e0a8719bc2963be6532becacb88c","datavalue":{"value":"10.1007/3-540-51081-8_115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055728$3B85FF68-2ADB-461A-8B97-2C8C2CD920D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57476dd69b666e7f4143357f8fdbde08c69c0dbf","datavalue":{"value":{"entity-type":"item","numeric-id":209357,"id":"Q209357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$5E3186A3-FA14-4635-83F2-E9FE76EBB054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98daa176291d3f31b004bb8af3845f694af2604d","datavalue":{"value":{"entity-type":"item","numeric-id":1095644,"id":"Q1095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$87BD3540-AAD2-472B-90A8-CE89D909629C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$F27AFFC3-4C41-46BC-AC53-FDFF7AC9DB85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055728$4A9F7B45-F96A-47D8-9D3F-79EA0D2D9A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055728$63D9E270-2EEC-455B-83AD-280A66CEC590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055728$FDBBE227-7AA7-4B7F-B618-68ACDB3DD895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055728$B65845F5-910C-46BC-8104-4009BD454FCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3185ba584cb4c3a04b6dc4bc5b60dd2cc4fa9653","datavalue":{"value":"7631123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055728$B3EF29D9-DF16-4EC3-8088-999A5546ED4C","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":"Q5055728$1EF9A287-AF5E-4C56-896D-7DCB2B22B933","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"025263a590dd1c6e0bbb518ce669e5e73f0eceaf","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055728$A177E092-3D34-44C7-A4AA-DB796DD427FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebd52484256f32dce7059b19069bd9065f9f7d7b","datavalue":{"value":"W1536672989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055728$70187154-E1AC-4B39-9CBE-71C176E7FAD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1de7a41a5c09d0b7d2c0b459018288964db062","datavalue":{"value":{"entity-type":"item","numeric-id":3805891,"id":"Q3805891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$172D9AA3-6E88-48FF-8510-B1C96421508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$C3BE8205-3789-441C-9D5F-0EE55897ECCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$9E05E8A3-76C8-4B09-B910-D38B75861B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$87054170-30BE-4F3C-A0E2-624A48A4B997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$6700A4DC-1DF4-48B5-9121-3C34173DE296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$7CBFD226-6FF2-470E-8110-C808DC9D258E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$0265691D-1627-45F5-90E4-27AB826E8B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e0ceb33b179ab72a3aadb8a4f83a21059e98d3","datavalue":{"value":{"entity-type":"item","numeric-id":3731027,"id":"Q3731027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$A381275A-828B-4D35-B087-F09B90AA75C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$2A9DDB94-FAF0-48C4-A81B-2CECAAFBE260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$E4FBA0C4-1954-43C0-8899-BA5057D8E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57064dff6d8c801eaa4cbe8a91d55ce2cc76c5","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$447AA97E-E812-41F3-8CFA-2E314717FBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd8f5a7508e8ed1812cdb5f71b5cdb7d05495","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$7678C04D-3D71-41BB-ADAF-7A33C028859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$9058FDB6-6865-4FC6-BDB8-E6A7044D9AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73b7c123a30c151d60562b201046209cf83ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3766841,"id":"Q3766841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$411E7E7C-8183-453F-90CE-E00A01081789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5923286daf9d2ca3eb0fe32e1e8af692d9981c","datavalue":{"value":{"entity-type":"item","numeric-id":3817658,"id":"Q3817658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$D4238124-5317-4DB2-9A3C-F9DFB565E89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf54227ecae4aa68f7165647ccb12ec1894d7ba","datavalue":{"value":{"entity-type":"item","numeric-id":3485883,"id":"Q3485883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$37832B76-AE02-4BA1-9DF8-2CDBB83855B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a597fd22037151e0c8055849861a47db3ea8e851","datavalue":{"value":{"entity-type":"item","numeric-id":3341872,"id":"Q3341872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$5AF22CD6-A000-4521-8DEE-614D2F6531EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da58277329f09a1823606b5f9166621c04696001","datavalue":{"value":{"entity-type":"item","numeric-id":3779784,"id":"Q3779784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$9674BF0A-B5E9-49D0-B283-E3FEB8ADE869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055728$8F59F739-C437-4E9B-9538-662F58595729","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e25c0dc71325e23a4e3ab92f687918a8041e21c","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3685487966f5963e4df15cf2b99915d617e1a522","datavalue":{"value":{"amount":"+0.8578514456748962","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":"Q5055728$09A37A66-FD87-4DB5-9430-0DF083D0AA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29004bcb25df662c30708490b6035b3c899698ba","datavalue":{"value":{"entity-type":"item","numeric-id":3817658,"id":"Q3817658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280e250ba168b6e4cbbcf7e815f9d470861bf5a4","datavalue":{"value":{"amount":"+0.8193814754486084","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":"Q5055728$9587B081-BEBF-4880-BA7F-ED34140F7EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc71baf93ee6f2d24641137465fc730854a86af","datavalue":{"value":{"entity-type":"item","numeric-id":4013772,"id":"Q4013772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e4153ef517f26ca3082ed6a8fd3f47d99eaae4","datavalue":{"value":{"amount":"+0.8043454885482788","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":"Q5055728$33535D0B-1256-4B83-87C7-987C9F7BAB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2339ec47b97413a3a62b41c657b8eba74c9dd66e","datavalue":{"value":{"entity-type":"item","numeric-id":3795208,"id":"Q3795208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856ef99a2052ae0873289e7abbaf30e8a32716a9","datavalue":{"value":{"amount":"+0.8017177581787109","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":"Q5055728$98B6B8F8-F4AF-4F89-A011-89E26AD4C590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68f3b5721bd1b25ff3d62063374bb9e7db91374","datavalue":{"value":{"entity-type":"item","numeric-id":1978646,"id":"Q1978646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49a9593e792911debf7fee887e62417cfe07612","datavalue":{"value":{"amount":"+0.800953209400177","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":"Q5055728$64D9CDB5-96C7-4DBE-8D18-F9049D690614","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negation with logical variables in conditional rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negation_with_logical_variables_in_conditional_rewriting"}}}}}