{"entities":{"Q2754054":{"pageid":2764793,"ns":120,"title":"Item:Q2754054","lastrevid":47701369,"modified":"2026-01-02T11:38:24Z","type":"item","id":"Q2754054","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1670753"}},"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":"Q2754054$89DBE4BB-E0B6-4E5D-AE96-FF4976BA544A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37f455c817af16979062bac71cfa2bcbf087dedf","datavalue":{"value":"0974.68522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754054$574CE433-0440-4FC3-9781-9CA744E0DD90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"293bbe4483ae4d43757f6dd0336aec88c77662c3","datavalue":{"value":{"entity-type":"item","numeric-id":1779320,"id":"Q1779320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754054$4FF6E0F2-7073-40E8-8321-7F5697DCEA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754054$951AB898-A242-4554-8339-86DF57D61F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754054$1D242729-214B-4F4E-AB84-DE2668A48034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d53cc9b739d076778b9207d322c3b005b7ae83bc","datavalue":{"value":{"time":"+2001-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2754054$CC348707-E31F-49C9-AC45-E94B8E2450B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754054$B00CDB72-13BB-4FDE-9BF1-BE1D6A05C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754054$F4A5E9D8-6D27-4F38-9D0E-F712CCEADB7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08ac990777d8c4f23480147418f724e993b6f6e3","datavalue":{"value":"1670753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754054$6291C8D7-766D-4F76-B77D-24983AF95C77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc2fb6009e792a6ba5e7250b92a32bd00b207fa","datavalue":{"value":"synchronous programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754054$E319BC53-9F3F-4B2E-AB13-3C1BD66E29AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754054$07E61CF8-1C3D-4D02-ADB2-47C3333EBCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cd63cd6e030a1c0df5d0051f6523b502f8152bd","datavalue":{"value":"steam-boiler problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754054$F81CE2A7-4329-4D2F-9E91-3B9E1F4FA055","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754054$6D8FEF0D-E8D0-41D8-ABCA-1DBABB781E2B","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":"Q2754054$9EF5E176-9457-4F52-A0BA-264C5FF38678","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":"Q2754054$461EE7EB-F0E3-4A4B-92BF-19356E7D13D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f478637134acaa7679fcadca989c492f9b51d2","datavalue":{"value":{"entity-type":"item","numeric-id":5946571,"id":"Q5946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6692374d94a9d8362e2c1fc6c4be2f4023065","datavalue":{"value":{"amount":"+0.7734995484352112","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":"Q2754054$5B1F19AF-46B3-4A32-A5CB-389E6377D10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9c4bc792eeb76b6bd24e4cbaeb42b6ffa465d1","datavalue":{"value":{"entity-type":"item","numeric-id":2841282,"id":"Q2841282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75d3c01cab67c085fc0c1ecc2b52ae13fd90b3c","datavalue":{"value":{"amount":"+0.72626793384552","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":"Q2754054$5643CD8B-CF12-4D76-B486-73B404B955E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278db361681ca031f2e1c5a88de9b91c1d3c6b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2996188,"id":"Q2996188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce4441a4f3bd6133c55dfad3db6dd0880037426","datavalue":{"value":{"amount":"+0.7130380868911743","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":"Q2754054$23DBA3B1-5482-4F54-9388-0AD9AAC73E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9290b7d76ec9861d350959b2eb8301fc3b6ad49d","datavalue":{"value":{"entity-type":"item","numeric-id":1870861,"id":"Q1870861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7d5d9b22a9ef3eacd43c22c1382e9bededd6f8","datavalue":{"value":{"amount":"+0.7097468972206116","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":"Q2754054$A4A690BE-B3A8-44AD-9DEE-E12E83CF4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67a7ccc465c1b75415cfa506990e3fad8730ed5","datavalue":{"value":{"entity-type":"item","numeric-id":1974481,"id":"Q1974481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbba4d541a7f565358f999e59acd18a685d048a","datavalue":{"value":{"amount":"+0.7057964205741882","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":"Q2754054$E5D806D2-7F64-4AB1-B722-01E534167936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2754054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2754054"}}}}}