{"entities":{"Q3177797":{"pageid":3188507,"ns":120,"title":"Item:Q3177797","lastrevid":53157542,"modified":"2026-01-24T08:34:39Z","type":"item","id":"Q3177797","labels":{"en":{"language":"en","value":"Formally reasoning about quality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912634"}},"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":"Q3177797$F9C3C21E-849F-4A56-B1B0-03C9468AA632","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f11450438a058fca3e86030ef03b408bfd9f11dd","datavalue":{"value":{"text":"Formally Reasoning About Quality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177797$B292E4F6-DF09-45D4-99A5-804BA8E2EA7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf141ff0fd6b1bf0535192e2aa365d43a161428a","datavalue":{"value":"1426.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177797$55483008-45BD-49C3-BC4E-4708CE25297A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d53c463f48a113b8115e60bbc555c1aebb07917e","datavalue":{"value":"10.1145/2875421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177797$FE8CF4F8-162F-4F03-8C93-6B21DC71A2A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a72c2897604ebcff4918a7f3620c211271fb0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1622946,"id":"Q1622946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177797$81FA02B5-C96C-4361-9B42-013EBEC4E9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b462abade17206dfe317c85f5a037406cc4b0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1036524,"id":"Q1036524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177797$B411C056-3537-4A38-B0C9-801E11964B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177797$D703B7E3-AF67-4AC5-AF02-73908255E9F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177797$FF87F9BE-D05C-4D4D-9B7B-A7F89E7CDA17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177797$6BF2F1DD-5472-4299-84AC-CC32E9145898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177797$BAD11687-E822-46FB-994B-6CFB991CEBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177797$57D341B4-A724-46DB-8947-3B6E80CBF25F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f0b4bb0c7956c0ea1e2e0e193561b3a8fce9c72","datavalue":{"value":"6912634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177797$B61560FA-9E42-499A-BFB3-08ED95E2E7B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177797$00DDB93E-A798-4E87-982A-826FBE1B7342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177797$C00F9D8D-7F9E-4B47-BFAD-B5D4B783FEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177797$88525B68-A338-4148-A637-756AEA14ADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8649150ac753ef15f1cafb09cfc78f327bd2a7d","datavalue":{"value":"quality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177797$75B8945B-4092-4FDB-9FE3-4346E14C7C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177797$D4262B92-8D73-45CA-BC97-EBFF4A9FD901","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":"Q3177797$D99A6F98-E6ED-49CB-ACFC-F188A8D6381A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f4939f02204c308e251144accf2a38b65e90948","datavalue":{"value":"https://doi.org/10.1145/2875421","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177797$6C0884AC-61B3-4414-80FD-FEDB2EEED566","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aac4e37116fbf36a6ce947a6342fd4601bd46c6","datavalue":{"value":"W2425244199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177797$98102BBA-17E9-4A11-AB85-56A7BDD8110B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2b3d5759174db104359567c878921bd36d4e62","datavalue":{"value":{"entity-type":"item","numeric-id":5327419,"id":"Q5327419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34fe8e272ff2c52995e287ae1ae3925f155fd379","datavalue":{"value":{"amount":"+0.9053590893745422","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":"Q3177797$BB59B0C8-CEAE-4F60-9E76-5DDACD55E665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ccbd9f176828574144f244af99dbf2a119ef65","datavalue":{"value":{"entity-type":"item","numeric-id":5498739,"id":"Q5498739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29dcfbf353a6730e382d61c2abd7350a021c321","datavalue":{"value":{"amount":"+0.8962443470954895","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":"Q3177797$65D54520-87A6-4CF5-9A3A-086979711E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c4a13ab880a66cb682c3f76cea9a1a9b8dc7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4926927,"id":"Q4926927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872cb9514a0919b4877c71b05d728849f56370fd","datavalue":{"value":{"amount":"+0.7431708574295044","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":"Q3177797$484C75FD-2179-4C0D-A003-99A334A1D90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d0a6351e2e17e2f5123da4613dceb09ea3eafd","datavalue":{"value":{"entity-type":"item","numeric-id":3190123,"id":"Q3190123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a976e81372b907730ad0756a5de0b4e9fe2d31","datavalue":{"value":{"amount":"+0.7396261692047119","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":"Q3177797$39C26B8D-2917-4190-B0AB-A013FBFDA874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b002d993f7494fda19861c00eadb64746090cbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2281652,"id":"Q2281652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816dec809087a36a84b83b96ebfec47948cc8c95","datavalue":{"value":{"amount":"+0.7389868497848511","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":"Q3177797$06224A03-127E-4C3A-A450-53D99FFFFFBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3177797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3177797"}}}}}