{"entities":{"Q1974308":{"pageid":1985050,"ns":120,"title":"Item:Q1974308","lastrevid":46910820,"modified":"2025-12-25T20:24:00Z","type":"item","id":"Q1974308","labels":{"en":{"language":"en","value":"Verification of a finite iteration over data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439539"}},"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":"Q1974308$D76AFB04-0789-4552-8C47-DAF3B71017EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b225807a385b746c9817720a3dc38ca3dc69c51","datavalue":{"value":{"text":"Verification of a finite iteration over data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974308$2E30458E-8C44-4FC5-B530-E62983DF9FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d10f390e833a66e32b21701c320cc17590e7cf","datavalue":{"value":"0956.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974308$87822C9D-155B-4731-AC8D-0008744A65E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c6ecd09027a2585c400c1ded036e3e339a3619c","datavalue":{"value":"10.1007/BF02733424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974308$B652FECF-5787-4470-80F5-4A5A50BEADBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$8605791E-0A0A-44DF-924B-19AB0B4693CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$29341629-BEBE-46D0-8348-B8095BE667EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc17136081e6b5d5fc40d3affb0beecbc4f23a8c","datavalue":{"value":{"time":"+2000-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":"Q1974308$11D503E7-9D50-4661-B087-0833ADF2F81A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974308$5AC38A48-D697-418E-80BF-CE541B287BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c04d803c2218a5a7c7074be7e101aa46ed3619f","datavalue":{"value":"1439539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974308$540701C2-9276-4376-8E1A-6243B939A9D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeda65357f929d56326dce0a19886f3306ffec42","datavalue":{"value":"symbolic method of verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974308$FE835E9F-EF80-463C-807D-2C64358DD578","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":"Q1974308$45CF00F3-23F8-4BCA-B7EB-25B4341524F2","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":"Q1974308$081B7E43-B8D7-4DCB-B21E-DFEB647DFF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15358d43a73fcb9797fd14b88604aff3ae5b4d46","datavalue":{"value":{"entity-type":"item","numeric-id":3038593,"id":"Q3038593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$4D141AA6-FC83-48A0-A998-68D91C715B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a4180e100987d3b53a0e8badeae7863c0a9816","datavalue":{"value":{"entity-type":"item","numeric-id":5184367,"id":"Q5184367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$2B1D0F36-38EC-4443-89F1-8D5DC0B42CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be6e89b1ab79158b9f17604b3428fc2a3e7f728","datavalue":{"value":{"entity-type":"item","numeric-id":4130984,"id":"Q4130984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$7EA200DA-E89C-4085-B1AF-D2AC9FC85C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530a0088eab2b772913687ffac9402800499441a","datavalue":{"value":{"entity-type":"item","numeric-id":5659054,"id":"Q5659054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$1C34E4CC-A272-434B-BC1C-DBFA342D69B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20624f2bbb9596d0e88ecc635605c10efd0c53d8","datavalue":{"value":{"entity-type":"item","numeric-id":1157145,"id":"Q1157145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$EC85C3C4-53E1-4A8A-8680-DD225A894687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05be03230a6fca34935ef9f1af71f6a9cb41b581","datavalue":{"value":{"entity-type":"item","numeric-id":1816342,"id":"Q1816342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$89C3B2FC-323E-4EF2-A822-73513F4A6470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf3123dd0dfd1e6682122a222ee2444debddbec","datavalue":{"value":{"entity-type":"item","numeric-id":1386947,"id":"Q1386947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974308$AD408516-C1A5-4340-9BC4-B800B805BB06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dd60ae077ed5cc64cd9c0e8bac6aaae774272ae","datavalue":{"value":"https://doi.org/10.1007/bf02733424","type":"string"},"datatype":"url"},"type":"statement","id":"Q1974308$9852510D-0639-4B83-82DE-19BEA067FE1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8b8c401b16ebd8c334d5df8470abcb78080b113","datavalue":{"value":"W1999371320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974308$34B075E5-1B52-4ABA-9C9B-F0277BF41AEF","rank":"normal"}],"P1643":[{"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":"e0e45cc96e650103b118da917cfd9c46503f1b42","datavalue":{"value":{"amount":"+0.8879082798957825","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":"Q1974308$C918CB21-24FF-4BBB-A8AC-7AB7576DCB71","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":"477815d4bb890d58853eb2ceb8e7680f9b559360","datavalue":{"value":{"amount":"+0.8805763721466064","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":"Q1974308$FC7DEE90-D3C4-40DF-8FE4-8A2FBEDDCCB2","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":"461753b3babd7765ac4b7dfea66135ddd4e7d8f8","datavalue":{"value":{"amount":"+0.875655472278595","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":"Q1974308$91F8C83D-D6BE-4AAF-BC3E-385D7E88B1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d129f5a1eef13f405d0efba434d7fce6cdad0de","datavalue":{"value":{"entity-type":"item","numeric-id":2488048,"id":"Q2488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcd40c5d0db80dc05427f2b81a8eea265ebac68","datavalue":{"value":{"amount":"+0.8742353320121765","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":"Q1974308$5C46DA62-CF2C-40DB-983C-699D5C15E420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4018c02e7db9904c539f4028ab9c71426b90cda2","datavalue":{"value":{"entity-type":"item","numeric-id":2467973,"id":"Q2467973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c255e5c80d55ac59b901188fba99054e3f61ca4","datavalue":{"value":{"amount":"+0.8696774244308472","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":"Q1974308$1DD782F7-B50D-4CAE-A24C-4D5E200E1B4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1974308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1974308"}}}}}