{"entities":{"Q1857951":{"pageid":1868693,"ns":120,"title":"Item:Q1857951","lastrevid":72813921,"modified":"2026-04-14T08:01:42Z","type":"item","id":"Q1857951","labels":{"en":{"language":"en","value":"Automatic verification of static policies on software process models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1871249"}},"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":"Q1857951$6F412C62-9049-47A3-AF13-EAB219A08D72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e8753a0ddf5f50db41d52584e43e614e5736f1f","datavalue":{"value":{"text":"Automatic verification of static policies on software process models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857951$CE239429-0ADC-403C-9E9D-912CED99EAE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79e7e27104120393e269ad0edc02d79386d88c76","datavalue":{"value":"1012.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857951$0B309F69-5F14-48D6-ADCE-ACC998580FAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dd829a19764bf12400490c6abbe0fffb97cfa6b","datavalue":{"value":"10.1023/A:1020509809235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857951$1BC33C3A-BAD7-4C60-85D2-AA9A9F526C13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e53c2991d4b16e3f143cff0d202e76f52d3d957","datavalue":{"value":{"entity-type":"item","numeric-id":1857947,"id":"Q1857947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857951$3832F223-13DF-4910-B82D-BE6C1A314BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2cf285195a57cf932be64852b5a582b3dbb27b6","datavalue":{"value":{"entity-type":"item","numeric-id":1857948,"id":"Q1857948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857951$33328AE9-EA85-435E-A669-E02B66A4ED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640d6f79970f5197313db8ccbe036e4f9f57e52e","datavalue":{"value":{"entity-type":"item","numeric-id":1857949,"id":"Q1857949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857951$898C10FB-B344-4013-A99C-D537135B2214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d511f2b2e05988c2f2a3b9607327f9de17df65d","datavalue":{"value":{"entity-type":"item","numeric-id":1857950,"id":"Q1857950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857951$A5BC3D9F-3D52-4F19-A290-BBB7A437FB20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e3eacda0dc3500812c2ceb2251f75ff6a28f0c77","datavalue":{"value":{"entity-type":"item","numeric-id":241035,"id":"Q241035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857951$FE63CDF4-9FD1-4151-820D-3746D5A7EDFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01951c93e885717866d268dd1e73bbf555019176","datavalue":{"value":{"time":"+2003-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857951$223FD0DD-4BAB-40EF-AEED-784059A3ECBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857951$197A960A-4442-471A-ADC5-6FDF21A697B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857951$0600A127-2A20-4310-9F09-1B17F4BBA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857951$758FD498-DE86-49AA-8AE6-2B430DEB44B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c8612dcb80589e61296004039569d141cdc5c34","datavalue":{"value":"1871249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857951$5382C8A4-75F8-404C-B7D1-2A104E00F5F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfcd3deef9d23e90e48ce4956c6fba4896b97864","datavalue":{"value":{"entity-type":"item","numeric-id":15678,"id":"Q15678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857951$6E3C94B0-00D2-456A-8601-890A97D084B9","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":"Q1857951$703C8344-1386-4326-B68B-9CA00342AC2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f5e50f00bb54007f714885dec543e49ba287093","datavalue":{"value":"https://doi.org/10.1023/a:1020509809235","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857951$0EF3CB62-DD27-4EFC-9454-4A6169912B29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1238193e8462d16020b9e1746d64ea0f9ce1bff1","datavalue":{"value":"W1484507366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857951$F1F93E2E-9FA3-4A1B-A054-FE752364AB23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2a9379ae524689d552e2b6c6583ebd492d4d17","datavalue":{"value":{"entity-type":"item","numeric-id":4438785,"id":"Q4438785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d12f6af9d0c1ac111fd9991db5aa4a5e213936f","datavalue":{"value":{"amount":"+0.6959915161132812","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":"Q1857951$052757A6-78AF-477E-B1DE-AA2746CA35E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d268a30acc4464764629989aeaea30127dc43e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3644057,"id":"Q3644057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c442e8fa53805a132ebf9fbd8c9e919a6ed1979d","datavalue":{"value":{"amount":"+0.6923814415931702","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":"Q1857951$A0774D94-A175-470A-B573-2148408C41D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3658bc704d5da5401a9700f28cdbe55613b6ccee","datavalue":{"value":{"entity-type":"item","numeric-id":4417838,"id":"Q4417838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9906f38b34cfdb75546d5ffa9e8160e0745a517","datavalue":{"value":{"amount":"+0.6881682872772217","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":"Q1857951$307ACE16-6051-4EF9-8D26-CE0F77E1D713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc63a0321495fdbb5090ccf936c7f7975c9d70","datavalue":{"value":{"entity-type":"item","numeric-id":2889841,"id":"Q2889841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0100835cfd515224234a5ac69ef43c3be51bec","datavalue":{"value":{"amount":"+0.6867377161979675","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":"Q1857951$E9ED3EEC-5115-458A-B054-3671C2639361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d50c9259e71d289aaebd88adc3a51c00214b1f","datavalue":{"value":{"entity-type":"item","numeric-id":4980848,"id":"Q4980848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c283abdaf56ff05363f0098418fb8ec171d04466","datavalue":{"value":{"amount":"+0.677756667137146","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":"Q1857951$CD433CD7-C27F-47D2-864A-26ACC0C2A15B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of static policies on software process models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_static_policies_on_software_process_models"}}}}}