{"entities":{"Q2848896":{"pageid":2859616,"ns":120,"title":"Item:Q2848896","lastrevid":51823283,"modified":"2026-01-20T05:38:11Z","type":"item","id":"Q2848896","labels":{"en":{"language":"en","value":"Specialization with constrained generalization for software model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208068"}},"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":"Q2848896$BBCD3034-7453-4D28-B4AE-F3D27F97BB6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d42c0856ae3f645a14579859079c545d6b0a9fe1","datavalue":{"value":{"text":"Specialization with Constrained Generalization for Software Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848896$6529ACAE-5E61-4219-8EAA-40786C965D5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e270c85aa2a959f2f261f07642491b1351ec01e6","datavalue":{"value":"1394.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848896$8602B145-77E2-483E-862B-F669BDF30620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5db3fd94d61d50edddd734bfe030cc10fe405667","datavalue":{"value":"10.1007/978-3-642-38197-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848896$02F90E26-4A68-4991-BF7C-58C23123B629","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$EFD9C5CE-03CF-48DC-A24E-AEDA050F1CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$E58E4C20-AD0F-45EE-A259-C27F2831BE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$B54AB511-8A36-4301-9912-ACA66306C5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$3655899A-5B01-4A88-9F70-259A6238C2F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$3D0CC80D-7DE4-4340-8452-21D992EA2A8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848896$8469DFE4-F83E-41C3-8CA6-B9243EE3A872","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848896$F7FAA8AA-1BC4-4EBF-B4AD-6272BAB4114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848896$138EF81E-C36F-4155-BB2F-7CDCB2CFFC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848896$D7EAD85E-E9E7-418E-9745-0E2EA598D27F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c8e3adf34907d9b0bf5eaf4f963e617546a3dc4","datavalue":{"value":"6208068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848896$0EE9DB21-38F9-484C-804D-E1CD9FEEA088","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$F88466BC-D00D-4F78-8B60-B77217EBFF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ef6b52613e0d0ceb1e645440c84c3cd13bf2efd","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$6C1BD3DF-0DF0-4A9C-8387-E941B18D6C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6e5be1caf65c71c89690a3ad8c074f4739ce787","datavalue":{"value":{"entity-type":"item","numeric-id":21915,"id":"Q21915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$BEE81CB2-DA60-475E-BC56-B2899D28171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb5c7412a95b8ff7f1ba4b73ca4c2023bf710a7","datavalue":{"value":{"entity-type":"item","numeric-id":21916,"id":"Q21916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848896$BBBE00E9-0682-42C4-BC2E-6FC235B2BFF0","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":"Q2848896$C3314C75-1E8D-4846-AF42-387125221FD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4c8af2dab771b22d630462f00631a49dabddadd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38197-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848896$395CE856-A4AC-4FC2-9951-9550FF98C150","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c85f2cda63a11d020805a33062693844e882af9","datavalue":{"value":"W2226282123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848896$376569E4-FD2E-4700-9C89-9EC2A59E8308","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a09c91718ac5b10c52e357e47d238c48d1e44f7","datavalue":{"value":{"entity-type":"item","numeric-id":5398085,"id":"Q5398085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188d7d51e41676b36ce7c1f43f7f0eae90a93de5","datavalue":{"value":{"amount":"+0.8957847356796265","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":"Q2848896$E90BB6E6-815A-4FE1-A86C-AC85AA97EBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11db9497f6f2d999542c901c4a35e858cc28e542","datavalue":{"value":{"entity-type":"item","numeric-id":3003492,"id":"Q3003492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4264867c68a95e808ea289e45bda67a0d605edb8","datavalue":{"value":{"amount":"+0.7874458432197571","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":"Q2848896$E99AC30D-AD8E-45FE-8826-99D54430C73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ae4ad6dd8ca355d8d6c3bf94cdd82b47b14189","datavalue":{"value":{"entity-type":"item","numeric-id":4417894,"id":"Q4417894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0213231710c17c769b172870552e5dcaf66e53","datavalue":{"value":{"amount":"+0.7772393822669983","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":"Q2848896$3CB26A43-5088-49FA-84D4-5307E6DA716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8276ca81ef811bc52b0536aea4bd09cca2edcb","datavalue":{"value":{"entity-type":"item","numeric-id":5299583,"id":"Q5299583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0e9a010eaf3f16af5ffcbbaf937d5f1408135d","datavalue":{"value":{"amount":"+0.7671191096305847","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":"Q2848896$1220E0FC-4911-4F59-A8AB-5535FF7329FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a4198aa867d02c3d5d0f50d44e8c9771862cd","datavalue":{"value":{"entity-type":"item","numeric-id":4994693,"id":"Q4994693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff7fc94026e0daf122b1f7720b39e6768eccd68","datavalue":{"value":{"amount":"+0.7627125382423401","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":"Q2848896$B4D85121-24AD-49CD-ADC2-117006FABE2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848896"}}}}}