{"entities":{"Q2488048":{"pageid":2498791,"ns":120,"title":"Item:Q2488048","lastrevid":48535012,"modified":"2026-01-05T03:34:28Z","type":"item","id":"Q2488048","labels":{"en":{"language":"en","value":"Symbolic method of verification of definite iterations over altered data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2198067"}},"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":"Q2488048$BC10F575-72E2-46C7-A780-7B78D33B1B6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53fe9d17ebedd37dbcbab45a85db9dec3e8a7fb1","datavalue":{"value":{"text":"Symbolic method of verification of definite iterations over altered data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2488048$B174C186-A937-4AC9-956E-274B462626BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c441beb71b7b951315f29bbcca686d312327c2b","datavalue":{"value":"1099.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488048$EA55DDE0-0467-4B01-A874-5815087ABCF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488048$D7566FA6-92A3-4AE4-8E8E-9DCAD20F4A08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488048$C0E3604C-22AF-4098-A1E4-ADE6373D4F15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c8161240b506a95f024b0718a56f9f3e2b0e7a2","datavalue":{"value":{"time":"+2005-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2488048$B41DED14-8C3C-45BC-AF23-81014C2AF33D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488048$06B3BFCC-C7CF-4F23-BC3F-8733A3639A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488048$2CB30A99-3298-4BFE-AB8A-E1364B1D51F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a776b9eac11ea1938c938c0d5f01268237c9976e","datavalue":{"value":"2198067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488048$19A21C7A-2A35-4AAC-8ABE-7DD984225D90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4fdaea8ac57236868539ee507afa657cd346bd3","datavalue":{"value":"symbolic verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2488048$6336C540-7398-4587-854C-F83B4FE33013","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":"Q2488048$79B90DAA-3F01-4D51-9B04-DA9E5F10C66A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"615a63a48ddae697aca30b9f57f33a45324f0d58","datavalue":{"value":"https://doi.org/10.1007/s11086-005-0001-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2488048$2CCB67AC-1885-4B27-A53E-596260FB6C34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6113caab2191ed67e81a93f1bb16f6825291a724","datavalue":{"value":"W4251606365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488048$089E4EA7-3411-4F18-BEAC-201318AB7F75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488048$054D8ABE-501E-4BBC-A56C-1E0B4577B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03108486ad76dd03a09a8cc212bd13b5b04c547c","datavalue":{"value":{"entity-type":"item","numeric-id":3899469,"id":"Q3899469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488048$B3CF42F9-05A4-42F8-A461-BEC48105E93E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4979e9d85ecc96464bbaf0ac685cafb6312f7a75","datavalue":{"value":"10.1007/S11086-005-0001-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488048$129DC94B-D2E9-4FB7-BED7-2D7F8E425449","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879f9f556b1fda42f6b1a724143972ac0e0c32e8","datavalue":{"value":{"entity-type":"item","numeric-id":2880591,"id":"Q2880591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6ec0af7dc8d519b7fa6a36ed994e97f193e22f","datavalue":{"value":{"amount":"+0.9394685626029968","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":"Q2488048$28CE4D5D-0384-44A0-97D4-A61E5FA328CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402b36d38161f701a486c77c25d32e28a7ac0455","datavalue":{"value":{"entity-type":"item","numeric-id":5452196,"id":"Q5452196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af63fbc6c05ee406271cbd352e9e8798233d629","datavalue":{"value":{"amount":"+0.9195376634597778","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":"Q2488048$099C1B42-16C4-46E6-B7FC-CB43921D63BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d6d2bd98886a33d8b12dc231aed74e0bbfbd1b","datavalue":{"value":{"entity-type":"item","numeric-id":1285767,"id":"Q1285767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2711b27bd32a4530bfb6aca9c966408648685261","datavalue":{"value":{"amount":"+0.9138603806495668","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":"Q2488048$EB8177C6-0A1F-46DD-AAEB-2D6057E9AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454edc56852e5e8c21d65e7220104fce812e9362","datavalue":{"value":{"entity-type":"item","numeric-id":4517376,"id":"Q4517376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b7f3e8e84b4c8bf897792fe0dc14f5a31081ee","datavalue":{"value":{"amount":"+0.8981384038925171","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":"Q2488048$C93C1707-4DD5-4511-ADF4-4CAD6A91ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38bdcb258dc5088364a39b394a36c0d5faa07f76","datavalue":{"value":{"entity-type":"item","numeric-id":3152936,"id":"Q3152936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbda53d2edc097bd53d38d6cb7d9d72b4664c82","datavalue":{"value":{"amount":"+0.8884378671646118","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":"Q2488048$4CE7F58D-3709-4CED-B753-9202E2C1BE2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2488048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2488048"}}}}}