{"entities":{"Q5267424":{"pageid":7297000,"ns":120,"title":"Item:Q5267424","lastrevid":41745517,"modified":"2025-05-07T20:49:08Z","type":"item","id":"Q5267424","labels":{"en":{"language":"en","value":"Resource-distribution via Boolean constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729801"}},"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":"Q5267424$8567F219-824D-480B-8303-D0FBB7F473E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f1992de5eec5512e35076f87cb09cf331ba319a","datavalue":{"value":{"text":"Resource-distribution via Boolean constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267424$6CA7D150-D00F-47C3-94F1-31CB20495532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bf7be26ffbc9da72ed2cdb150fd602cd823eb93","datavalue":{"value":"1407.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$E2FC7464-5B20-4261-93D6-688181371329","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98617677b03aab2f1e56c5513c7ad6a23abd1afe","datavalue":{"value":"10.1145/601775.601778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$8C0B7B08-5D02-4B00-83CB-5194A9E4C9CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8493c5a9382ec7942c81e66d876be9d0596e633f","datavalue":{"value":{"entity-type":"item","numeric-id":306277,"id":"Q306277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267424$94EA4136-FBB3-4A24-B79C-3228ACB3005D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267424$30C9B865-FB80-4E38-8616-4C9A7BD0A995","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267424$AD88B09F-6F78-4380-99A0-9482BC82C7D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267424$14C73F17-A001-416C-877A-0BAE9440D372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$095904AC-8D19-489E-9BEF-029B081D8F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$3DF9A356-4508-41C1-B466-BB72E542041C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$CDD4FB3E-449F-4542-8D9F-08C7D0CE84BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$015FE4BE-ADE6-4337-814C-657DD87712CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a6ea6a828469f7cb8ecc6d1d4a75224fc94e210","datavalue":{"value":"6729801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$DF201C8F-09F0-4473-8F99-A5BC20B04DFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d3650413ef81e939c9dd325e2f0da76d740640","datavalue":{"value":"algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267424$0547FD17-8B57-4BFA-8A59-82B9FA034214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ffc4fb5b6056531c57dc2a95cdc5c155439116","datavalue":{"value":"Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267424$484373A9-6ADC-4698-B7B4-9A4216B43D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267424$3211E84F-55E6-475E-8CE9-DA211137E463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267424$9BEA66A7-D9EF-4D42-B83A-FB7D7489DC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267424$8106AB23-5760-405F-B4A4-003043AE7D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267424$FD7A851A-7ED9-4420-8A3B-56EFFE2D795A","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":"Q5267424$DC1AF78F-8AE7-4B12-99CF-B273721278EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54e723607d5505aa50f62f15afb811072defb3e7","datavalue":{"value":"https://doi.org/10.1145/601775.601778","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267424$BE32DDE6-3CDB-4951-9700-5EF2940D5090","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e09ffc2017a5ea6f57329d52e09ed7ef82477c7","datavalue":{"value":"W2112448481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267424$EACC799E-1781-49E0-8EF4-6A7C8B962031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9893930326172e71c1f7d60b3c4ea7f6c5ce618","datavalue":{"value":{"entity-type":"item","numeric-id":5234703,"id":"Q5234703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2ab646959880b1f489021e223f82db286420ec","datavalue":{"value":{"amount":"+0.9662098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$F220797D-0DBD-4CDA-897F-072D84F8912E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09fdd18bb0edb0e2f543f73d81c16f4d7be98a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4475705,"id":"Q4475705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e66635fb4e6fb7d19b2af048ead339692f16eb1","datavalue":{"value":{"amount":"+0.88812095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$4EC9A2ED-EF58-4A2A-B6D9-D99221D5953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f0dace2948f8781ad701df5da7c3cc4e945c7f","datavalue":{"value":{"entity-type":"item","numeric-id":3476585,"id":"Q3476585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8335ab354d130a4ee6584501c56be9ec9b4f0174","datavalue":{"value":{"amount":"+0.8724726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$7C994972-C630-4E28-A343-FD508C91CB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56f9132db4bbb77fcba1e8317a9f3f125dfeb6f","datavalue":{"value":{"entity-type":"item","numeric-id":4475680,"id":"Q4475680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d178b7f741425a473a77c1d467bbcd7c7967155d","datavalue":{"value":{"amount":"+0.86199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$B19FF721-0EA6-456C-AC87-C32767CB8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e1de2edd6280999dcab05a5c29bda9934b66d4","datavalue":{"value":{"entity-type":"item","numeric-id":4739300,"id":"Q4739300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c903959324f87153d1a6d76c38dd17b3c9b85800","datavalue":{"value":{"amount":"+0.8577637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$EA8A9702-B3F8-4FDB-A328-72981754DB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1e6d85c8b9399bcacf5569eeb5bb0b6113ca21","datavalue":{"value":{"entity-type":"item","numeric-id":464924,"id":"Q464924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f51da81d0cca44862a4bd9857cd64c581f0eef","datavalue":{"value":{"amount":"+0.8547677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$1B8FEB29-167B-4469-9D01-42C6E7EB7EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcb2989b3b38b6c5a30d73b1c07bf1813b910da","datavalue":{"value":{"entity-type":"item","numeric-id":1264090,"id":"Q1264090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fe8458eaa05563e1d1d35c3fd04667235d76ae","datavalue":{"value":{"amount":"+0.8531822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$E59C239F-2FB2-43BA-A61E-4AC5B73622F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162927c4905721573d6a4870b66cbdbae4cc5e59","datavalue":{"value":{"entity-type":"item","numeric-id":900413,"id":"Q900413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08472c11ef7a3da28623b498d235922b819bd6b","datavalue":{"value":{"amount":"+0.8511289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$4E3E6754-E952-42EC-9D07-22BD39E0DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2d411e330dd01c5bc70062b1287845cd90f316","datavalue":{"value":{"entity-type":"item","numeric-id":795743,"id":"Q795743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e760fd74436086c1caf0bf367fbd97dbce949a24","datavalue":{"value":{"amount":"+0.84904695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$7C83F28B-2A3B-44CF-8371-F548B781E0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353c3599b58fb7c1ffee7c7fe7461098d5c53a9","datavalue":{"value":{"entity-type":"item","numeric-id":2564753,"id":"Q2564753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8ea28ed4285c7ba007a1e20c225ee23574b769","datavalue":{"value":{"amount":"+0.8490175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5267424$02140D72-62C2-4BD4-89F8-BF796BE0D28C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267424"}}}}}