{"entities":{"Q4633533":{"pageid":6663114,"ns":120,"title":"Item:Q4633533","lastrevid":53414123,"modified":"2026-01-24T22:22:19Z","type":"item","id":"Q4633533","labels":{"en":{"language":"en","value":"A decision procedure for sets, binary relations and partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050638"}},"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":"Q4633533$BCEFD171-895F-408B-A82D-5CFDAB32BCDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2007b55831a6597f5e3905913e6bb1e66f674c8f","datavalue":{"value":{"text":"A Decision Procedure for Sets, Binary Relations and Partial Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633533$E47EB69A-799E-4B7E-92A0-CEA944B138D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7298a3c524de39e7ed2ec7f12523f34ccfc46441","datavalue":{"value":"1411.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$B751C31D-8433-4EF9-BBA6-6EF35B64EC9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be92bf42a5d9088ff6c286b1f08f57ac5e5a78f0","datavalue":{"value":"10.1007/978-3-319-41528-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$464A6B5A-C73F-42E6-91EC-80BAF639EE11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7468d844d5ebe9faf1e361c1d02644796ce3e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1617836,"id":"Q1617836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633533$BC5FAA2B-D460-4825-82C2-2860E9CFD560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4721b9bf7d65faf5816017392281660320d608","datavalue":{"value":{"entity-type":"item","numeric-id":206866,"id":"Q206866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633533$001AE189-F89D-4146-9802-B62C4DE3DA53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633533$076956AA-B2CA-4A84-BC7B-B116B5969560","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633533$B7AA29C7-1F82-4C80-85B4-9D2AD7273A82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$6A2FB903-CFFF-4A17-BC46-6E2483764038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$A9F87454-2B5D-4748-9DD8-74D430BF82E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$15BA978B-CBA7-4DB4-8AC6-CD38C8C4214C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95a2f1300299a663c630d49d74c2dc085ba5e8c0","datavalue":{"value":"7050638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$8970E175-07AD-443E-852D-FA25E6288AFE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"75b6a6ee5f596bc56395820488f41baf2987cc2f","datavalue":{"value":"Q57840324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$5329F26D-E8BF-4858-962F-417A750F03CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633533$306D0483-004E-4BF9-8FAD-F8948C90F49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13443df964bf2860f67d03fe976d208605c47666","datavalue":{"value":{"entity-type":"item","numeric-id":19062,"id":"Q19062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633533$C7AE4918-AA7F-4B61-A129-55078F567B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272b1a9e09e3e0c648f0668682ab92d2e1d0ba63","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633533$C0BA1C90-5CF1-4159-A4C3-EC23F22CD595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633533$C2E98744-8761-439D-8880-7E36D3DBC2D9","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":"Q4633533$E367D9A5-CC82-4EEE-8CB8-89242919C37D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31c3d4d487437d68ef379eac60383c02b5a477d8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41528-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633533$96B05124-79F7-40BB-BB70-DC25ABCD689D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8374a7c524c85ff40b20148adc173797c5393ad5","datavalue":{"value":"W2497399989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633533$D818D736-6876-487C-9B2D-F033A55FF524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54f5d11bc3b8255f1021c06f08b4e1355865124","datavalue":{"value":{"entity-type":"item","numeric-id":810491,"id":"Q810491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e62e2e3080df4fcdd3e058281810ee9b4a264a","datavalue":{"value":{"amount":"+0.796207070350647","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":"Q4633533$65E78A58-8FD7-4307-93EB-E0F1DDD6987A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b88d6bc0aa29c2a10a471b42e653052dccbd4f","datavalue":{"value":{"entity-type":"item","numeric-id":912082,"id":"Q912082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384351c1db56e150c3631181f56c76bae80c1389","datavalue":{"value":{"amount":"+0.7758132815361023","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":"Q4633533$56D7BDB8-ABB2-4F47-931E-662B81A47DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f7e9efcb389ddf937f1c6a7e06e3895774071","datavalue":{"value":{"entity-type":"item","numeric-id":2405250,"id":"Q2405250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3ed08d036563836d8b171ffbc88e3daa909f03","datavalue":{"value":{"amount":"+0.7692275047302246","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":"Q4633533$33C1F2A5-8B9E-4760-A512-B77E8A077BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d10e9183572962abaa593b3a619cebbb758f7","datavalue":{"value":{"entity-type":"item","numeric-id":2303241,"id":"Q2303241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891badd1e0afa3ec8656c3b15b6cdcbb0edce7f9","datavalue":{"value":{"amount":"+0.7687742710113525","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":"Q4633533$2D6BECE4-9A27-4DF1-A290-DE53F7C72605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89bcb43e79aa856de96b478c956b8ea3b8d367e","datavalue":{"value":{"amount":"+0.7671101689338684","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":"Q4633533$2B9D9898-F1EB-4E4E-B2F0-594841B82C92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633533"}}}}}