{"entities":{"Q3058801":{"pageid":3069517,"ns":120,"title":"Item:Q3058801","lastrevid":80194886,"modified":"2026-05-06T15:38:33Z","type":"item","id":"Q3058801","labels":{"en":{"language":"en","value":"Concept management: identification and storage of concepts in the focus of formal Z specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5823445"}},"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":"Q3058801$3F84CD70-9A97-4264-BF38-BFF1CFC1A560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b09e24cef7a911b6799f008eaca9cd772169974b","datavalue":{"value":{"text":"Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3058801$2DB7E630-510F-43BB-A256-11C0D00C5B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83e768ab67d069ec5bd8f67fde3b9344dbbeafa8","datavalue":{"value":"1213.68388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058801$9A8C3DA4-CB8D-4E88-9F2E-F4FF4E6E20BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ee564333dd352a95078fc35603d7805e4a46bd5","datavalue":{"value":"10.1007/978-3-642-14819-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058801$CCA6A2D7-A797-448C-A103-48635519408F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bdfb480b797ef61e0dd916ecf5ec2ea6c6bdb85","datavalue":{"value":{"entity-type":"item","numeric-id":3058799,"id":"Q3058799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$D6306736-C4BC-424E-90EF-CECF40990D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1f1b0d7e2694266883bfd2c1625d224ad40fce3","datavalue":{"value":{"entity-type":"item","numeric-id":3058800,"id":"Q3058800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$71DBA943-2825-43FE-B052-0AA52B20D344","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$F50E7DA5-3F1C-4CBE-998B-4E39C56433A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ff188bdc41d6af5e5a1fa5f0277840eaf9175bc","datavalue":{"value":{"time":"+2010-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3058801$E00800F1-7C7D-45A4-89BA-4017B3122C1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058801$54F6F28F-6F10-428D-B32A-BC2F99EE00AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058801$2538D84E-BD65-4446-AA09-342A2268382E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05fed703bb5f3ed8cec302a3ddca63bab81bc4ae","datavalue":{"value":"5823445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058801$F60F0BFB-2EC5-4DA9-9940-9CAABA0BDBE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55e03d7f649adb667d109d5b42aee2993ae7310e","datavalue":{"value":"concept location","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058801$309EF442-5726-4AA8-8EA6-87ADDAA5237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35969ab449ce8d59630111fe67cc2cc325d67882","datavalue":{"value":"formal Z specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058801$81573EE5-4F96-416B-95A7-1BA301DCEAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d679ba7edd48dc7fde6f7cb5b3dbd3cca7eb70","datavalue":{"value":"maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058801$2C1B7059-FB98-41DE-8C15-17D5FE7FBACB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$73210899-ED84-43D3-A339-1EFB9AD94F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe0e65c481598784f9d66c40b77039f18ac02db8","datavalue":{"value":{"entity-type":"item","numeric-id":28348,"id":"Q28348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$4F60CC0F-46CB-4DF9-B156-B7F5A83EB96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05a035f7a06790573ffe85b1903bd1ce890853cd","datavalue":{"value":{"entity-type":"item","numeric-id":21123,"id":"Q21123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$03DBF37D-1482-4F04-9937-7FC7E4746BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"066cc029dbf75f7c63d0299ee4a2009bbf4a5214","datavalue":{"value":{"entity-type":"item","numeric-id":21385,"id":"Q21385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$AD1B0AD8-046F-445C-B2E8-A07B0F25A832","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":"Q3058801$C7C3F831-D68B-40B0-8EC6-825D560E3C50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"798c063c117bbcf20ebe5b7e43eda544bd37d7d2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14819-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3058801$5FD6E3BF-CBD8-4383-B6D5-E3CF6B00338C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50d1c7b41eaa5fcc771c116c074b1aa5840cca64","datavalue":{"value":"W171542896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058801$45B76D66-8DF8-431F-A4A0-E942E9E50677","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$41F6F678-6047-4FE9-BBEF-3F0FB405295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ce618b411a4a12ca16bf588f05ac07c3750579","datavalue":{"value":{"entity-type":"item","numeric-id":4471643,"id":"Q4471643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$FAD6F73F-F57F-4E55-B6AB-321C440E6DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb182d8ec76dcf1b079be3cbb1005a0a53a7a0c","datavalue":{"value":{"entity-type":"item","numeric-id":4471664,"id":"Q4471664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058801$9F1EB65B-918A-44A8-884C-248B381C22F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73081d6c0ea6c73628da2e257e5b0ff155f471e7","datavalue":{"value":{"entity-type":"item","numeric-id":4412488,"id":"Q4412488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11d9a5c2574bfaeb7477fd23e124b9e58fecae0","datavalue":{"value":{"amount":"+0.6824260950088501","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":"Q3058801$1A99E543-131F-4484-97CD-A00817BE6645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a3a67a183dedefc1bdf4e7cad7635878cc705a","datavalue":{"value":{"entity-type":"item","numeric-id":1100939,"id":"Q1100939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafa6b748268ca3c39c8df930b996832d05455d2","datavalue":{"value":{"amount":"+0.6677164435386658","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":"Q3058801$23E6E4A9-E8B6-4C2C-A108-6AB20DE15F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7773f582dc00c3f22dbaaecf65d4a4bdd3ed1dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3561493,"id":"Q3561493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d164c754c2f4ec1359e06d28649c9faf191f35ad","datavalue":{"value":{"amount":"+0.6581119894981384","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":"Q3058801$EF14B3CD-DCB3-4FC6-8190-A983B69EC030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3072ba89e93b32d4044369e3b290fc35306c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1188662,"id":"Q1188662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4b7e64ee43ec9ece5a5f3ab7770128651f49ed","datavalue":{"value":{"amount":"+0.6554231643676758","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":"Q3058801$B739D7A5-94F8-429F-805D-4EC47838CC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e750eb894de10396c153c2a8348b3b98b1e263","datavalue":{"value":{"entity-type":"item","numeric-id":5493147,"id":"Q5493147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e90706f5b74e0e51459e89919c7ce526de943c6","datavalue":{"value":{"amount":"+0.6533334255218506","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":"Q3058801$602F2D98-7C5F-446B-9CC3-C94BB92211FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concept management: identification and storage of concepts in the focus of formal Z specifications","badges":[]}}}}}