{"entities":{"Q5881189":{"pageid":7910740,"ns":120,"title":"Item:Q5881189","lastrevid":97501925,"modified":"2026-06-05T14:54:20Z","type":"item","id":"Q5881189","labels":{"en":{"language":"en","value":"Reduction techniques for first-order reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661552"}},"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":"Q5881189$DE168013-E084-4103-B81D-F29F53D2DE61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71617f25b1ce8f28a6cdf258cca60820ab372451","datavalue":{"value":{"text":"Reduction techniques for first-order reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881189$2364B6E1-9CF7-465E-8DFF-9A433F73D3C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573a2185674e52c6f3deaf098e8ece6862331d2a","datavalue":{"value":"10.1007/3-540-56393-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881189$23B2D5CE-8810-44B2-BAEB-DBF446CE94D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f473127d5827a33db319a8a5b5ebee03345112","datavalue":{"value":{"entity-type":"item","numeric-id":1915130,"id":"Q1915130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$0E4F4FDB-E7CF-407E-B9A5-FBC4DE03F3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$38DEF595-FFE3-4B33-BC74-89031F53F025","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$093E04FF-8D2D-4A6A-8664-88AE3B5921EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881189$A41A0C72-7EAD-413F-B8A8-9C45F273A24F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881189$37E06B52-E163-483F-B256-AC78B6FCE31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881189$F813CF8F-0A76-45AD-ADB7-6AAAEFA0DC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881189$03621CEE-0C8B-4D25-A1B2-363CAEBC758D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68915914adc827f1a0c273dec20894567edf995d","datavalue":{"value":"7661552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881189$D09B8400-AD48-40C0-8AD7-3B0403F29F52","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":"Q5881189$9EC8B7AB-1274-4881-803B-C5ED9F100EA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fba97c39d1f71b826b2fe8b2fd981a68d31d8341","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881189$C2554A05-7D28-4097-A94F-868E945BB88D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f43205543d6738455e900b8f7235bf42af707ee","datavalue":{"value":"W1498901304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881189$2CA9CB0E-FB5D-49AE-A29F-B84C2EE438AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b836520ef40f65bed421f04004e40c029fa07","datavalue":{"value":{"entity-type":"item","numeric-id":5055708,"id":"Q5055708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$5518B4F5-3881-4293-B111-10E620941945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867cdc6d3f0743de280448ecffc7a317c12f81d","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$D5C5ED76-971B-4B77-80B4-AC312A82E0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6a4aca3189d4fa1f54c4e8d9a90d2257266e51","datavalue":{"value":{"entity-type":"item","numeric-id":5881263,"id":"Q5881263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$693BD46F-A7D6-40BB-B7F5-0D298BFBFE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$E1A10FF9-E2C7-4FCF-A6BA-82FB9102E5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ab79f8fe1e91b63e9c6e6379a45e52f1e9d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$D88F987D-A147-4901-BFEE-8EF59BDA22DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7819d4cde146b169662c83aab32ea4e5414cd355","datavalue":{"value":{"entity-type":"item","numeric-id":3786024,"id":"Q3786024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$4D26BD78-93B3-4552-952A-C4388BEF0908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8534b1254c5c4d6c57e7bf2ded006ce49ef77782","datavalue":{"value":{"entity-type":"item","numeric-id":5881281,"id":"Q5881281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$D8C2F862-EC44-4C06-9D7E-441D21117A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881189$D2A6BC6E-301F-4325-A54F-A0A8860CC8D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0232a38bb775622c654badc3933c87f1afc447f4","datavalue":{"value":{"entity-type":"item","numeric-id":5881281,"id":"Q5881281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72ce9075dfac7d09285426ee2407bfdfaf66167","datavalue":{"value":{"amount":"+0.7852396965026855","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":"Q5881189$FA2FDC1F-9185-42B7-8EA8-A73910B6855C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39835574666932a9f226413e82925155b1598e01","datavalue":{"value":{"entity-type":"item","numeric-id":3338214,"id":"Q3338214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ceff1183c0ffd45168b268d48679fcf71bad99d","datavalue":{"value":{"amount":"+0.7620226740837097","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":"Q5881189$57BACBFD-3E34-4241-B258-6D1ADA6E5391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bd8028998d4211dda8e941397b8b4f6e121092","datavalue":{"value":{"entity-type":"item","numeric-id":1065783,"id":"Q1065783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536f6bd7131ac96cee1ff4306cb63e5c778252b6","datavalue":{"value":{"amount":"+0.7548074722290039","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":"Q5881189$DF71EF0F-F669-4B63-B942-6FC7032C80F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17283dc3a352bbe69c5ef490ea95fcae4900b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02a4ea8decf287dfd3f0eadb85c45dd1d7947b8","datavalue":{"value":{"amount":"+0.7458127737045288","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":"Q5881189$82309570-32EF-4EF5-B86B-C23A58EFAE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8cdcc0bc38cde26587a3338b1faf976e3f210f","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8345f3eac705c168ea0ba75912c2f4fd1530aed0","datavalue":{"value":{"amount":"+0.7389150857925415","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":"Q5881189$1CA57051-E169-4588-848B-223DA2BD8069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction techniques for first-order reasoning","badges":[]}}}}}