{"entities":{"Q1602272":{"pageid":1613012,"ns":120,"title":"Item:Q1602272","lastrevid":72304539,"modified":"2026-04-14T03:59:57Z","type":"item","id":"Q1602272","labels":{"en":{"language":"en","value":"Compositional comparison of formal software specifications using transformation systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1757468"}},"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":"Q1602272$21E27230-FB9B-431F-B4CA-E33CCDC0D7E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7acf3087bf85b15abe317fab531e642a0c89c95","datavalue":{"value":{"text":"Compositional comparison of formal software specifications using transformation systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1602272$AB8089DF-9518-4B8B-BC64-6BA868E66928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c307b93c7bed6636e203236a3ddd15a84216ce20","datavalue":{"value":"1063.68605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602272$1A529899-4FF4-4E8F-8FD3-021148C9DF52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602272$844C401A-645A-4E50-A510-F854F4A086FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1499fc920b3ce6e459673c257729080eb3a13dc","datavalue":{"value":{"time":"+2002-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1602272$EF530092-E616-4898-9780-BD0FA6F50249","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602272$760B87EA-606D-4BC1-97CD-64379C0686B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602272$D793DFB0-62CA-4786-ACCD-A8A6CF943A7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06be82fb7abed1ab6511d4bbcb75529e9cb26c5d","datavalue":{"value":"1757468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602272$D6B82279-5B94-4335-BD5B-A16D6ADFF00D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602272$68B07B24-2411-449C-91A6-1FE6E4660E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602272$D5C23BE2-D32F-422C-82A0-B0BB0852DDBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5462f23d4dcfdded02d7cb0ee37c9e9eab503a1","datavalue":{"value":{"entity-type":"item","numeric-id":910187,"id":"Q910187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602272$35C2E95B-1383-4703-A3E2-056AEC6FE370","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":"Q1602272$3103CEC3-F9EF-49E7-97A9-E1B2770D6D10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09c59b11804dabb1d751ff9f2f610302f6042fb4","datavalue":{"value":"https://doi.org/10.1007/s001650200005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1602272$89446CBB-1E79-4D03-9D8A-66A2378324BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01b339c301b0d9fe14e070d0783034f5d7c0cb47","datavalue":{"value":"W2159750963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602272$4F78B982-33C6-435C-8730-E5D10BEF9688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f16835df367765896f3fe71ddbabfda93f377f46","datavalue":{"value":"10.1007/S001650200005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602272$1489FA5F-3E46-4A8A-A261-C899125B9BC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6361541e8450fd3ee5a0f0ffac7430ac1eb4b58c","datavalue":{"value":{"entity-type":"item","numeric-id":4494249,"id":"Q4494249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa0a24db676b8b067c679bd66e29d7c50828619","datavalue":{"value":{"amount":"+0.8125596046447754","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":"Q1602272$4BB37784-3D89-4AF0-94E9-353C3F251C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f450fbcd100be47c4740226c72b7549961277f6","datavalue":{"value":{"entity-type":"item","numeric-id":1428350,"id":"Q1428350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d80f531b7d561e9774a1315288229fce9d2574","datavalue":{"value":{"amount":"+0.7735802531242371","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":"Q1602272$6486770B-6C43-4812-8B60-E38493319DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2effd34939fdf653d6f1420e40669fdb88be2a87","datavalue":{"value":{"entity-type":"item","numeric-id":1608315,"id":"Q1608315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404c430420da9076e68ac9070300606e72848c27","datavalue":{"value":{"amount":"+0.7700953483581543","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":"Q1602272$4F61ED73-F57F-4696-B093-96F6997F0FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6af63bef44a4843291066f81425c4dea806166","datavalue":{"value":{"entity-type":"item","numeric-id":4923537,"id":"Q4923537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8058a354d8dd90581508dee1051c213b00fb2fc3","datavalue":{"value":{"amount":"+0.7495582699775696","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":"Q1602272$DFAA1D4F-6CE7-4577-A49E-AD9B65BD56E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74abf8584670ab2f6a4c397dfe13f69f1592c45f","datavalue":{"value":{"entity-type":"item","numeric-id":2863885,"id":"Q2863885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332e445802aa5881425da61eaa47ad5db2a32029","datavalue":{"value":{"amount":"+0.7392467856407166","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":"Q1602272$1B25568E-8A1A-4882-843A-A84CB96DFF47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional comparison of formal software specifications using transformation systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_comparison_of_formal_software_specifications_using_transformation_systems."}}}}}