{"entities":{"Q2745263":{"pageid":2756002,"ns":120,"title":"Item:Q2745263","lastrevid":47678374,"modified":"2026-01-02T10:06:36Z","type":"item","id":"Q2745263","labels":{"en":{"language":"en","value":"A case study using lightweight formalism to review an information system specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1654495"}},"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":"Q2745263$CC6F1E5F-D1FF-40A9-A3BA-1825138F25C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79fc90b39f797b82272cac6e25764fa2f86ec99a","datavalue":{"value":{"text":"A case study using lightweight formalism to review an information system specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2745263$7B56528C-44B8-4940-8BB5-0FB84A35FCCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86522649857292a9259dbc65de0e350ab1f962d7","datavalue":{"value":"0972.68735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745263$CAAE52EC-4A4D-4F58-8D96-7C281ED7CEF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e318e2d9e3b60c42602703ff9e804e23abb7e15","datavalue":{"value":{"entity-type":"item","numeric-id":1752830,"id":"Q1752830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745263$5F6B5A24-04F3-4533-B8F9-70D0A6B88BF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d131fe3d6fb8050187eb7d29d4300c2dea2cc287","datavalue":{"value":{"time":"+2001-11-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":"Q2745263$5019DC97-74D6-48F1-9915-0A9D30A49A6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745263$76061B4B-238C-4303-971D-CCB8923C3D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745263$C795BF80-0531-471D-86BE-F0ED6F7D1EE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a190b8321a73c9e1d41940f2a382d3c08de8f2f5","datavalue":{"value":"1654495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745263$5546CDAE-F78E-4243-9BF9-C1C21C6FD175","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1d0d9683f903979bb2910b3d405afe3189e875","datavalue":{"value":"information system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2745263$B6EA55CB-C73A-46DF-AF17-5474947B8FB9","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":"Q2745263$3700A8A9-A9D3-409E-BCB1-914DA869A4E6","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":"Q2745263$349A28C2-681C-4453-969D-3DA5F6C6499C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89695947bc26a013f4583bb08db1a5243afb81f2","datavalue":{"value":"https://doi.org/10.1002/spe.388","type":"string"},"datatype":"url"},"type":"statement","id":"Q2745263$225C5988-2D3B-4299-B863-FA6B74072C84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94131ba8b9e8072d671e8aed015fcaca8e90c439","datavalue":{"value":"W2157379356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745263$0E06B845-8DD3-44D4-B379-998A8DFF95FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaf5abf5ab5ddaac8c239a7410c15f7df1a4f20","datavalue":{"value":{"entity-type":"item","numeric-id":4000510,"id":"Q4000510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745263$0C47B7AB-6D53-4489-9644-09117494059F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c443a5d632f84ecbf775462c3c01cf109f57291","datavalue":{"value":{"entity-type":"item","numeric-id":4398799,"id":"Q4398799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745263$75AC6F75-8CF0-40F0-8A94-657A77679C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2745bd701040d7a565806d3e09453ae11d8017fa","datavalue":{"value":{"entity-type":"item","numeric-id":5691094,"id":"Q5691094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745263$3E5BD8AC-62B1-4153-A494-1D64086E8A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3041474da0d94121ee0541cf4dc73911164cfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4331845,"id":"Q4331845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745263$8C1F9D58-FFE9-4ED3-99CA-7F343D54E8DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ead6a6e5f9f3ef44db20734c403f55e0aacc75f7","datavalue":{"value":"10.1002/SPE.388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745263$6CEF0ED8-A0C6-427F-8A53-362E36889E8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f23a49e6f8f2d15924ae099acd3f7b0b75216627","datavalue":{"value":{"entity-type":"item","numeric-id":6768706,"id":"Q6768706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745263$91DF150F-C935-4025-8E8D-21E64645D44A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9859d1fbda8e061122f0fa77b43bfe1fa08a027","datavalue":{"value":{"entity-type":"item","numeric-id":2487874,"id":"Q2487874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885454c2d0b1a80b300663e1613048f8940a2e34","datavalue":{"value":{"amount":"+0.7080572247505188","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":"Q2745263$3FB47A33-F706-41A0-AC6B-332D34C14BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403f11c2ac68f74af6d80a887f475b2a055906b3","datavalue":{"value":{"entity-type":"item","numeric-id":5394171,"id":"Q5394171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1834786f399729d64cd3f5d98b1f6e1a2f41e2","datavalue":{"value":{"amount":"+0.7035561800003052","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":"Q2745263$63E433E6-509C-45FA-8944-1F0B26EEEAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e80f0260a5e96bea20fdb3063dd7405224a166","datavalue":{"value":{"entity-type":"item","numeric-id":4492783,"id":"Q4492783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507a347255ceaf7980893327125b9f72eac1cd94","datavalue":{"value":{"amount":"+0.6963737607002258","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":"Q2745263$21B70610-D699-455B-974C-501014999332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a276fc4e067154d8baab3387c77890222f07a9","datavalue":{"value":{"entity-type":"item","numeric-id":1607085,"id":"Q1607085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf407614aec070e11d66be87ec64b8f7def91154","datavalue":{"value":{"amount":"+0.6948391795158386","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":"Q2745263$7D19D577-A901-408A-A992-047147369F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da96bdcb58c6cba02d020fbfcf6c0456cbc0e923","datavalue":{"value":{"entity-type":"item","numeric-id":1898821,"id":"Q1898821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de3d3ccc5378e0277626431238309133bc21854","datavalue":{"value":{"amount":"+0.6916388273239136","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":"Q2745263$37139188-19E9-466D-B99A-EB66B963247B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2745263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2745263"}}}}}