{"entities":{"Q7010062":{"pageid":21563316,"ns":120,"title":"Item:Q7010062","lastrevid":81647828,"modified":"2026-05-06T19:01:10Z","type":"item","id":"Q7010062","labels":{"en":{"language":"en","value":"Lazy compositional verication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013889"}},"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":"Q7010062$6348D5EB-7326-4D87-A471-7553F55F9FEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d74d866849420d5d5e0fb80ee3430889e4b94b6e","datavalue":{"value":{"text":"Lazy compositional verication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010062$AEDCDC87-3FB1-4D0F-856B-9A86C793C2B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff5fc60dbf5d59984832ab972a4a266c99b0f603","datavalue":{"value":"1566.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010062$977F5242-C331-4ACB-9F97-E0D8AE6D5642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ee04e091310c869391addfaa1d99b5ed2cda834","datavalue":{"value":"10.1007/3-540-49213-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010062$C673A57C-3350-47B2-92DD-8B2062025E82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$B87658BC-361B-4BF8-BA52-68C54FBDA7BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010062$9B04720D-5DB4-4876-80C2-A1BFC422307C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010062$7A567485-D339-4DF4-96FA-A47B00B14046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010062$BD5EBD5C-BB3B-4375-A19F-CA1DFB7B2D34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6c71870f2705cb080742d8a2e19c47b0ee7f396","datavalue":{"value":"8013889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010062$B973BA68-9302-4E0D-987A-4DF5C8ACA4D6","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":"Q7010062$6593E7C3-D272-4201-A69E-7DB10E00630D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$FC0E5E90-CCD6-4F33-890B-3989748F877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$AF96DCEB-F02B-462E-85A8-BC14E401A52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6e8044e1ce25d903b208ba71585994bb6de082","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$6F2A8B8F-09BC-4511-8D9A-38CD37BDDA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$B60F2815-6E30-49B4-9372-9F6A8B2F8514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$6DDB7589-F00F-4FF5-8C4C-8B1E8CB9AD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7f4160bf195ff46d24997fcffa2a7e2f623cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5044739,"id":"Q5044739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$DB9350E7-0C05-4A74-910A-883CF5B3E3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25a878a5d568a448d9622bfc8d7dfca501f7dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1321833,"id":"Q1321833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$832B03F2-3209-4E82-8293-A02E27D73EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e556fe453a0fb6a8511af38a0ba916c3e12166ea","datavalue":{"value":{"entity-type":"item","numeric-id":1328161,"id":"Q1328161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$15C21EE5-6109-441E-B7DF-60098C7CCA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$968A9BCB-C3E1-408B-90EA-097A45ECFEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$A69A754E-DCED-4074-9206-35C3FC6267E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855be14fb53cf1655d81fe8552b83c8c97789269","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$392E6D8F-92CE-468F-B867-83175FB8610B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$55CF461E-DAC4-43E9-9D35-1FB5B15106E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$4227A438-20D4-40CB-B19E-12DC42BD4196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$75E639B1-8EBE-4D68-9F2D-9074081EB6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$69231486-6F3E-4A8A-8B55-6BD7024373C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02d028d2e6f20c848d305126b44b69f277975b","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$63FE374D-6E32-4199-96C6-0A62D6269AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$04C02764-0AB7-47ED-88F9-4F197A849EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86093d7e1c02b7c98302c473d6ee68fb637768ce","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$0E39DE54-7121-46A3-A15A-3B31D3A071AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$F716E482-98E0-4430-A607-A3F5B0A24C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$4AFBEF2F-E824-4A7F-8BBE-39D97266CDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010062$E442AAA0-86DC-41F5-BFF4-B8FCF493E1F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy compositional verication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_compositional_verication"}}}}}