{"entities":{"Q4263161":{"pageid":6292762,"ns":120,"title":"Item:Q4263161","lastrevid":46667160,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263161","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341612"}},"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":"Q4263161$7F4B486F-5FB5-4226-AC63-4075042B9BC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bca2f7900687f9b9239a20cc540e42f0b9c92ed","datavalue":{"value":"0941.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263161$229B73ED-B274-4D8F-ABEC-736853EC5386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263161$099EE25E-F521-4348-BB3D-615C979AC3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263161$697A5EA8-2292-4F25-8762-098A81BCAFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1049fb3a5c1f5f050767d0dfd05ea2dd53468c","datavalue":{"value":{"entity-type":"item","numeric-id":540692,"id":"Q540692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263161$CF37464E-642C-474C-AB32-7C2EBDF03CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263161$A7E412E9-6AEE-46E3-94D7-478D76A9ED60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263161$F0B1342F-EDF4-48F9-ACE4-9F9EB2339BE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af3e9e0e80ccfba8c1d1075a6c360640f1b6d48b","datavalue":{"value":"1341612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263161$236792D9-4D44-4E08-8687-0CCFB10D1AB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263161$BBC58F79-86C4-4BF3-849F-722C4D7D57ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e608dd624fb60b1bf927adaf9f24d23e560795d","datavalue":{"value":"proof-planning system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263161$F320D527-9C44-4C9F-9A43-C523A4A9EAC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263161$483AAF84-E18F-4088-B0AC-9E7A518A8AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263161$5B134412-2010-405C-A57F-4663D9BC7726","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":"Q4263161$7B8A2C1C-C865-467D-9085-CD75EB07AF59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b028676b8970ef098bbbc9e5238ddb908899ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":1353946,"id":"Q1353946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36418c51a2c4146de497056a3fce2b06e4ec6d8","datavalue":{"value":{"amount":"+0.8122775554656982","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":"Q4263161$4A82654C-BF49-4F1C-8776-7CD9A41FE561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c4212ad17ef07507856b42567851a12cbcaf6d","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e34bc36aa23758f81f0f1edbc10f1d5b4fdebf8","datavalue":{"value":{"amount":"+0.8081485629081726","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":"Q4263161$D96AB81F-7576-41FF-9B09-B08EA66E72CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec018ed8a811a708dcfbc73ce6f219c7aa11361c","datavalue":{"value":{"entity-type":"item","numeric-id":2723410,"id":"Q2723410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48a1dbf0ec2ccd2d02b6193588940b37998f883","datavalue":{"value":{"amount":"+0.7866306900978088","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":"Q4263161$9DC07288-1094-4B6C-BA45-2F5DB410A925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9535aae83cc059803d499aad5c60b21a49286ea","datavalue":{"value":{"entity-type":"item","numeric-id":1283204,"id":"Q1283204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ad81fd002f3555cdb2a71362785de8321cfb16","datavalue":{"value":{"amount":"+0.7810936570167542","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":"Q4263161$B488DAE2-018F-41FC-83A3-74D1A558E2C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263161"}}}}}