{"entities":{"Q5505563":{"pageid":7535123,"ns":120,"title":"Item:Q5505563","lastrevid":50550671,"modified":"2026-01-14T09:07:16Z","type":"item","id":"Q5505563","labels":{"en":{"language":"en","value":"Program Complexity in Hierarchical Module Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498351"}},"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":"Q5505563$EE25F80F-5CE5-48FD-88D2-6C7C6A1FE503","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c01d964b0eafb7b3b55637cd99156dda2a1e01d0","datavalue":{"value":{"text":"Program Complexity in Hierarchical Module Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505563$8BA45097-73B8-483D-BE7E-1EF0E3665003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f2838850cb6332eaa362b16d9da9929a15fa78a","datavalue":{"value":"1182.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505563$7D5F502A-9CA3-4B8B-9125-3743AF05993D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e896901a600861dd8af1661c8179f6f462fd3a5","datavalue":{"value":"10.1007/978-3-540-89439-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505563$A677D81D-9706-4ABD-8BBC-0701F61DC529","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505563$69E4D03E-345F-4B7B-AD6D-C4C99A7738F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505563$1D624336-09FA-4206-9EE4-B7C510A4D982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505563$CA3C0F15-3A7C-40D1-A6A9-4A85E83E785F","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":"Q5505563$A7FD2DC7-8377-4D5D-9800-749AD4A676DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505563$89F4E695-80BC-4B76-9428-70E6AF4C05C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505563$6A3F0CAC-655F-4F54-9208-1313FF8554E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505563$56BBDF07-9BEF-4431-89CF-A2C89D4BA91E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9463f6e506f4b905fc256abcb94e062d295a545e","datavalue":{"value":"5498351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505563$9F9A9F81-984B-4FD4-80A3-24BFDB96756B","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":"Q5505563$17565733-3686-4748-968F-77BDBEA5545C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94933b81fec0baf281ff60926193a01135c0be57","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505563$8ED8C300-37BA-41AD-8E22-B4E75C3CEAB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8be7240f5e3b01f068987b423f357265b9b77e1b","datavalue":{"value":"W1940010026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505563$35C5087D-1E86-494B-B4FF-1466360D1026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9176d91a54ae31eb2873f31bd2d01523d0815d","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988b82d7a093f7270d830aa4fc733e8abb0cac93","datavalue":{"value":{"amount":"+0.8385456800460815","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":"Q5505563$C5F4411D-4EC5-437B-AAE5-517A1F9FCA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec424eb7f763bfede65b9a50a95ad8dc55e20d88","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb16555ed9ee88f9cf9a211b27e79d19084bed5e","datavalue":{"value":{"amount":"+0.8159304857254028","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":"Q5505563$7C1AE6CB-ADD2-4431-89B7-1AED7016EB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de640cf007b1edbb6dfd7f1087a191940cf356dc","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73257d001c507e1ce1a28d07e4fe981ef804fb13","datavalue":{"value":{"amount":"+0.8124653100967407","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":"Q5505563$571CCB6D-6A60-4A95-9B90-FBEBF0D7EF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4173f84365ce344d5a090a74705bb1387bab809","datavalue":{"value":{"entity-type":"item","numeric-id":3656876,"id":"Q3656876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7c5196057214e6609645d8692f3fc06c4c3735","datavalue":{"value":{"amount":"+0.8009657859802246","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":"Q5505563$DF365F5B-C484-42C3-97AB-1EF853F6E192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be1be5a6180e121e914a711dfc54aedbb9e253b","datavalue":{"value":{"entity-type":"item","numeric-id":418123,"id":"Q418123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6767fede04cd9979468979529c820302c7f2ef09","datavalue":{"value":{"amount":"+0.800553023815155","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":"Q5505563$7E0BF4E6-991B-464D-B769-87D9BE48D12E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505563"}}}}}