{"entities":{"Q3460079":{"pageid":5239479,"ns":120,"title":"Item:Q3460079","lastrevid":88258745,"modified":"2026-06-04T14:03:11Z","type":"item","id":"Q3460079","labels":{"en":{"language":"en","value":"Finding inconsistencies in programs with loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528803"}},"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":"Q3460079$1F25BF8B-E34C-44E4-B50E-556CF4647B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ffc529cc38182524eaff9bb9ba0059b19297225","datavalue":{"value":{"text":"Finding Inconsistencies in Programs with Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460079$691B423F-2E90-4A78-8521-0A2BD1F2B1BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e2d2cecfbaf022951779ac7c8b25846b0b75072","datavalue":{"value":"1471.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460079$F0645F1F-1C79-4F82-B7FB-209C7B29C68C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07d97c83ec8502a6d4a593431566b06d6a0f35ad","datavalue":{"value":"10.1007/978-3-662-48899-7_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460079$08F1059C-80C7-4347-9B36-22099940301F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c732a89100be7c8dc37bf74f1ca440c3a9b624e7","datavalue":{"value":{"entity-type":"item","numeric-id":3184733,"id":"Q3184733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460079$7D37EF00-4903-49C9-A8B9-A9FA96C61585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9aa5bf3e043aca79ceea7f9b6e24e591eea899","datavalue":{"value":{"entity-type":"item","numeric-id":264988,"id":"Q264988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460079$D9D24D8C-D449-4C66-9BA4-1A3A56CABDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"397d77ad8bd1a3f514ce08804fba49d28413c3f4","datavalue":{"value":{"entity-type":"item","numeric-id":832266,"id":"Q832266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460079$069E0FB5-9204-4157-A88A-337434C6F7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5e7c8074a59f38542f2c35146109b9e354b8b0d","datavalue":{"value":{"entity-type":"item","numeric-id":633285,"id":"Q633285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460079$C10C1090-4188-46A1-8311-C437EDDECED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460079$5BF80CA5-FB2E-40A6-9B49-A69F49ABBE57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460079$00A6F5DF-9641-4F3D-A462-1C28B6D449F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460079$530131B2-0BA1-4F6E-978C-5645CD8ED37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460079$6A9A703F-9E1D-4126-A28A-11BEE7A8B555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460079$63D7875B-2C03-4A24-8DC2-64E551916A6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01b5ba32ccb07a6764e36774a4e5c3e42d955bd8","datavalue":{"value":"6528803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460079$FD12B8B8-AC48-4396-BA82-E36D4BA9BEAD","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":"Q3460079$3271513F-36E5-4885-96FF-6DD368664A9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d65e59d7d31ad47acd0f5197d52c478dd7b14769","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460079$BB18660D-D008-4A70-B272-F002A0D595F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9528bbbe21536f15129f6960f6c0f95b5a2fb62","datavalue":{"value":"W2294679441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460079$A2104916-59C2-4030-A240-89BC746B4FCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae12e922d5fb41c565c231f12638960efd5fef00","datavalue":{"value":{"entity-type":"item","numeric-id":3460549,"id":"Q3460549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487e348ca8ec0bedd80c861b64ec3461feb00a78","datavalue":{"value":{"amount":"+0.7918534874916077","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":"Q3460079$581535A9-2EB2-416D-B0ED-C2168F2440E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b60e9fb652d1d68d74657911a8caa315e4c123","datavalue":{"value":{"entity-type":"item","numeric-id":394493,"id":"Q394493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c061141d92f673e5e81b6b68548de3fde466085f","datavalue":{"value":{"amount":"+0.6480060815811157","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":"Q3460079$497AD503-AC4F-4413-947F-C1AF4CF89212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9c10531a9b7632ae2289a3afdaa58b290c5dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3449230,"id":"Q3449230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e89f5d186f7cd2b10df86b469279a94c346e86c","datavalue":{"value":{"amount":"+0.6421692967414856","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":"Q3460079$90D2721D-E7F6-4DAA-B3DF-8D95AD3806AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52877058ddda5d12944fd4b086958e651b3caca7","datavalue":{"value":{"entity-type":"item","numeric-id":2405258,"id":"Q2405258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5836456d9a916bbc001bc83a7db82d2563c62be","datavalue":{"value":{"amount":"+0.6349891424179077","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":"Q3460079$4F04796E-315F-4D96-BCD0-D9A66FA20AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f1d7773e3f151fb198089c636fce6e2001ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4583954,"id":"Q4583954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e403d992b2fc342d677635044c1e4967ef08ce","datavalue":{"value":{"amount":"+0.629448413848877","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":"Q3460079$9552F099-BE19-49BA-82A3-9273FA2C3939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding inconsistencies in programs with loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_inconsistencies_in_programs_with_loops"}}}}}