{"entities":{"Q4353652":{"pageid":6383251,"ns":120,"title":"Item:Q4353652","lastrevid":46940064,"modified":"2025-12-25T21:45:16Z","type":"item","id":"Q4353652","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059343"}},"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":"Q4353652$528D4162-67C4-41BD-B398-BB7405AE77EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40787515366e9c02936eb90ca909848147b74d27","datavalue":{"value":"0877.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353652$F05B06DD-6052-4AA9-817C-EEF1F8562040","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-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":"Q4353652$ED09C478-279D-4E77-8C95-C35ACE8E4B4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353652$7CFA5112-5E51-4F26-8E39-D0D9E8E36C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353652$13465D3D-7D75-49C5-A10F-F976E526FB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353652$F7298910-FC6C-45EB-A12C-A78DA0CD4E8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"557875c865c28f184d8d5733d0cc48dbfbf1c779","datavalue":{"value":"1059343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353652$1E6CAEB1-2928-4DAE-8279-6DA1DC7510D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40cef9571e3acdd16d7bba9e8a1a64fb8c33d969","datavalue":{"value":"infinite-dimensional 0-1 linear programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353652$F10F4EE9-8CF4-4BA8-9C67-EFC39DB57097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54dc032c749b301789d7faa9cbe74b1f8c18efb3","datavalue":{"value":"embedding of logic into mathematical programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353652$3F74C0FE-2DBD-4052-8A35-F8B6917F87FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6bb1e22707a765ae713bd078404d633644f1a7e","datavalue":{"value":"logical satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353652$9D969EEF-36C7-4D9A-85A9-8F3B16A3928F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378fc43aa9fa6b070a4949e2643dffd459f3ce4f","datavalue":{"value":"spatial embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353652$CDD2A51C-0440-411D-AD6C-EEEB5DDDF17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353652$BCA3AE59-EA80-45F7-A2B0-B8482896D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353652$8E14B3D9-AB0D-4B47-8990-2CCFC18E6305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc2746a4b9fde5e19d5cda484a643230f9a431","datavalue":{"value":"bisimulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353652$C63BCDA1-9F5A-4C99-8A55-63EB7EB6F43F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70722933cf4ce848a213c27e544150f66ed84fb7","datavalue":{"value":{"entity-type":"item","numeric-id":325051,"id":"Q325051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353652$B7968FCA-CB1F-45E7-8D6F-DD80D6AF5ADB","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":"Q4353652$0B8524CA-2AA1-413A-A1C0-771BD1952F00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98981f7f3b6acce3af987180ada6814a165869d3","datavalue":{"value":{"entity-type":"item","numeric-id":1869615,"id":"Q1869615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8430c3cd75b37a2e8a9ed2398bf26009bd626402","datavalue":{"value":{"amount":"+0.804283082485199","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":"Q4353652$9326E7FF-3CEF-460F-92C4-6E4A7FFCDFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950344ec4ca852d90e324520439bef557e3c290c","datavalue":{"value":{"entity-type":"item","numeric-id":3315481,"id":"Q3315481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb32059de6819305bfbdf805d0fb21102719b119","datavalue":{"value":{"amount":"+0.7354657053947449","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":"Q4353652$84105DE6-314B-40C7-8A45-1E709B99476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26635f5e152c638c4b211acfa263c2225c026a08","datavalue":{"value":{"amount":"+0.7314935326576233","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":"Q4353652$8690F763-91B0-4C6B-9A63-9BD6FACD098D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902a986642b6518bd3e07925a8b892e2d8f24f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3791122,"id":"Q3791122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21578a1a33ea671cbf37d12c8236cb24ed1aada0","datavalue":{"value":{"amount":"+0.725293755531311","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":"Q4353652$8F66EC77-6686-4783-ABD2-112BB00E7774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320c03e6b36018157cbd5be41353a09dc06aa7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5740619,"id":"Q5740619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb7ea551ece0a51be061a6001ae3626b223d862","datavalue":{"value":{"amount":"+0.7235172986984253","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":"Q4353652$40315CF5-6C13-4AE1-9D1D-EA8F999152D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353652"}}}}}