{"entities":{"Q4310310":{"pageid":6339911,"ns":120,"title":"Item:Q4310310","lastrevid":47274238,"modified":"2026-01-01T05:06:24Z","type":"item","id":"Q4310310","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 671941"}},"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":"Q4310310$0637EC86-2299-4CDB-815D-E98A91CB0C9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f90ddcc646aa186302ef59777b9df3be07c4189","datavalue":{"value":"0820.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4310310$C43B945A-67BB-4775-9ED6-0798030744A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca21ff7d743cf6b0902f40630f2a6ab3da1a616c","datavalue":{"value":{"entity-type":"item","numeric-id":174769,"id":"Q174769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4310310$5C3D4D8D-0112-44FE-B094-587800322FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2437f7e04b4725b6a7b434b5d2125a560d7eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":880194,"id":"Q880194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4310310$DED25C55-665D-419B-A014-26122F012F97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bc79a065c7033b2af997247a4d6f81b493bfae9","datavalue":{"value":{"time":"+1994-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4310310$E0FDC33A-1AFA-4939-A657-C0A9A911FD72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4310310$DA263CAD-9230-4E71-A84A-A1A0AA16BCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4310310$A8F83477-B535-4F39-93FA-D6FE070D96DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"901feea3561694fa0f6e93f50bf0386de4fb5bc4","datavalue":{"value":"671941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4310310$184C2C71-55C6-45E5-8764-6EF45E1804B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b2276908255ab0fe38e919717094768bd78cb3","datavalue":{"value":"equational specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4310310$57E3ED97-AA57-4FA5-93B0-D0120A78E04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec996f409276667a1c78c19bb7c51a3de9cd484","datavalue":{"value":"constraint based reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4310310$56F396F0-42AE-4B52-B75E-6BA13EC81654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce845e1ba3e10db1506f5fc51a963f3c64400cab","datavalue":{"value":"rewrite theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4310310$9194C51A-7C77-465F-BC41-91CF5DE77A9E","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":"Q4310310$08281D0D-A0FE-4013-922C-9F38855BB79D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f697e478c6b4941a0971803f8adfc8fc34e16ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1286447,"id":"Q1286447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176ac710ce7db427da208f03b3d1ec2f417477ba","datavalue":{"value":{"amount":"+0.8068591356277466","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":"Q4310310$4547ABE0-1669-409D-B908-45745FFD456F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a0f06dfe2b34ac105fabbb0a2478187ba9b748","datavalue":{"value":{"entity-type":"item","numeric-id":3789048,"id":"Q3789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045d02075a2046190e7a9e278e5e233d4009eca0","datavalue":{"value":{"amount":"+0.7648183703422546","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":"Q4310310$CE1B8137-3345-4750-81D3-24DFE4D48265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5595f3a2c4c08511272b3232defafe1b37ab342d","datavalue":{"value":{"entity-type":"item","numeric-id":1185014,"id":"Q1185014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a58b8112b5eaae9250a13d2897255840ee210e","datavalue":{"value":{"amount":"+0.7274060249328613","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":"Q4310310$23ACA621-584C-417F-9F9D-8FFF3EB1A3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff887064dbaf50463f11dd0960d847e76e240eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4249033,"id":"Q4249033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade8f48d736e7ec37cbbcee12ecf45814a473e3d","datavalue":{"value":{"amount":"+0.7252172827720642","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":"Q4310310$B87D7F5F-7436-4210-B943-196549549D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736d088447cfa05bf830386a28e80a015aa8eda3","datavalue":{"value":{"entity-type":"item","numeric-id":3345753,"id":"Q3345753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b851040cf1bba5ae37d39903040e8820dc661010","datavalue":{"value":{"amount":"+0.7241332530975342","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":"Q4310310$1A6504AD-AA2E-425E-9289-2E909E370284","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4310310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4310310"}}}}}