{"entities":{"Q3559763":{"pageid":5589667,"ns":120,"title":"Item:Q3559763","lastrevid":50976458,"modified":"2026-01-16T01:20:34Z","type":"item","id":"Q3559763","labels":{"en":{"language":"en","value":"A coverage checking algorithm for LF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705574"}},"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":"Q3559763$2F7B3513-93E4-42C7-ACED-7D94E27800DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"257a6a64626e3599ab297751793b614e93da57ee","datavalue":{"value":{"text":"A Coverage Checking Algorithm for LF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559763$C81012ED-CBC3-4701-9E78-1BEBAE963E96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c93a4cbb8d0098046f53579ffa5b361dd3ba788","datavalue":{"value":"1279.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559763$D0B45800-759C-4516-8A53-B1A93226E1EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ebe8258bae8a22f1bfb1387ccc744a7714a94b9","datavalue":{"value":"10.1007/10930755_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559763$1066B7C7-1F6B-424A-9009-4D22048F65AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559763$0CFBCCC8-0C0F-4404-9425-806B3BC94F4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3559763$864FE944-9157-4814-9793-BEF8FC2257BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f15f79b2e2a516eb2006e1a13479ce9fc27717d6","datavalue":{"value":"https://figshare.com/articles/journal_contribution/A_Coverage_Checking_Algorithm_for_LF/6587336","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559763$AA9928C6-8A72-400D-91AF-1604EDAB56B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559763$8F549018-BC9A-4646-A3A9-EAC6955FC427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559763$7854FD45-6A48-41FF-9065-A25FEDC44733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559763$6BDD8FD4-E191-49A2-896E-B909361CDC5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1664c9471294c2f84d48be2907cb6f5c60b3cbfd","datavalue":{"value":"5705574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559763$6FCF2FC3-FA3A-499E-8A17-41F63F327675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a21c307288d5a10035bbade58705ed653dad84f","datavalue":{"value":"logical framework LF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559763$6C79AED5-4AF1-41A5-A7B2-5E8DEC2F945F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559763$B0D1DC10-2A74-4760-9006-31C578F46A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559763$E16B1EB7-0A4F-42B4-A462-2500CA215C61","rank":"normal"}],"P1463":[{"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":"Q3559763$DBEB3F8E-4A44-4841-90AD-B6087352971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559763$5BC951A1-2A69-43CF-B43F-1B8F7196A9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559763$564FEF1E-DE4C-4EFC-A09E-EA1CCE5F5EB2","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":"Q3559763$E5A0812B-E643-4FC7-A18D-A3D14F1C0013","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18c9e98f193ddcd70f4739e398b72784c7f11259","datavalue":{"value":"W1480580285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559763$5D540407-40C9-4FE5-AAB4-9EA8E48280E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d263f010afc74ff6832d2b69034922c2bef8da4","datavalue":{"value":{"entity-type":"item","numeric-id":2804942,"id":"Q2804942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502f20e7c387b0631451e0ad8245d21470c2aa8f","datavalue":{"value":{"amount":"+0.7718632221221924","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":"Q3559763$1AD76E20-F778-408D-89CC-AA844664DAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f059fd217af64991296781dc858924705616e9","datavalue":{"value":{"entity-type":"item","numeric-id":5464654,"id":"Q5464654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c96212496b5686bf72739375b76df554a556a4","datavalue":{"value":{"amount":"+0.7583215236663818","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":"Q3559763$CC80702E-0D30-4BF5-BAFE-A24FFAC29F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded9f12b0e5b36b20e8c488c1ea5b367e73ec55e","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b2b51d48a5daef6cf823de89c24c538d19dd84","datavalue":{"value":{"amount":"+0.7264646291732788","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":"Q3559763$FE2E2120-129C-4C70-AA4E-905821A524CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ca46566fda6e5ddaa75cfed81904d6f3f2b404","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faea27f65a55eeaf39f79207a4526883e42eae90","datavalue":{"value":{"amount":"+0.6882620453834534","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":"Q3559763$B29D6A2A-DB81-404A-9F02-75501D0529D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd02653a0f5288cbd7583c98894a5128fb01b60","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e8577dd1b9fc9e7affd2ffaf5549a5b7c5ca4d","datavalue":{"value":{"amount":"+0.6858887672424316","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":"Q3559763$3CC29C97-6CB1-4298-AD07-1B722D6F6862","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3559763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3559763"}}}}}