{"entities":{"Q1125424":{"pageid":1136173,"ns":120,"title":"Item:Q1125424","lastrevid":46858617,"modified":"2025-12-25T17:53:36Z","type":"item","id":"Q1125424","labels":{"en":{"language":"en","value":"Testing algebraic data types and processes: A unifying theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375206"}},"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":"Q1125424$6F7E3D2C-27BB-4A8B-8983-6A130C7437B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc1c8392986b50fbbdeb316f7d0a6fb330877cc","datavalue":{"value":{"text":"Testing algebraic data types and processes: A unifying theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125424$743F289B-6B27-4CFF-B9D8-3695A2A4A9B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beede318547bf5148cfbcc796576b52f27dd9976","datavalue":{"value":"0951.68534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125424$E19A68E1-5121-4CB1-ABFF-CA5AC02B4D27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e932202d9c20cf0417832055acfc970ed243cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1125423,"id":"Q1125423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125424$07051133-4D08-4368-B3C7-193BCA8DC54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fffd81c6aae76a5fc581ab482db7fffc27874219","datavalue":{"value":{"entity-type":"item","numeric-id":391417,"id":"Q391417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125424$CAE435F2-F923-4AC6-AE47-E2D7F1D88516","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":"Q1125424$584F2446-C113-49C3-918A-A7BA725E67D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e7b4afc73733724b1d62a948563b59de6d3ef40","datavalue":{"value":{"time":"+1999-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125424$A69F9571-32CF-4D2F-8E81-964085D78D8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125424$EA02DCF1-4C4F-4A97-8930-EBFDD8135033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bc007c02a3df9bd69e77043ab3d949ed09461d3","datavalue":{"value":"1375206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125424$1660A417-ACDB-4CD0-ACA7-181E4AAF7058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6232ee430e6bd0f81c9afdb53f1e62a377501a","datavalue":{"value":"black box testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125424$C55073FE-3B07-415A-A5D4-2DBEAA7F82E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125424$99BD8563-1452-498F-AA49-15DB8A816954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03224f4dd09b5af77f4915cfc58bd8b56d1def80","datavalue":{"value":"full LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125424$83F669CD-85D8-499C-95F6-0E56E770B843","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":"Q1125424$00689813-8493-4086-BF9C-266B935F2DCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f113ba4c8e053b7ab8c40ac7013afe54c274ea4","datavalue":{"value":"https://doi.org/10.1007/s001650050026","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125424$D351C2AF-69E7-401A-A655-0659101CE75B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e7f7a7c6b00011d4630348f9dcad87708198b42","datavalue":{"value":"W2034874525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125424$D2C402E1-5C45-47E4-9E9E-A837D57F643D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce405f6aa1ba3b9c3d1463f363c77c0949ccd829","datavalue":{"value":"10.1007/S001650050026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125424$7CB515E8-0C5D-4120-A841-6DC7BD44AA7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8de1e14b895929d04da58d1c9919031eaa68a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771764,"id":"Q2771764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b177e1194b9e0630268ac9cd53f761566ca8e55","datavalue":{"value":{"amount":"+0.8216081857681274","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":"Q1125424$58F15635-8832-44C8-94AA-17DFA0425D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb30fd1acacdca1302f9bfbfa7c46c0fcb5d26e","datavalue":{"value":{"entity-type":"item","numeric-id":3434613,"id":"Q3434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30218a51ca5b53cc75708c765597648c1e1f281d","datavalue":{"value":{"amount":"+0.7744731903076172","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":"Q1125424$CD307C36-0A79-4A97-B060-621B1D74279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d67cf557c277dd5c42d165ef9c1fec3205e632f","datavalue":{"value":{"entity-type":"item","numeric-id":3423344,"id":"Q3423344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebaded9a134326329332451b4887cd0c70f42a63","datavalue":{"value":{"amount":"+0.7731717228889465","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":"Q1125424$2B13D8A5-5D70-4B41-B80D-969838F13791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197d925f173e298f53c644c5c0fa301505090cbf","datavalue":{"value":{"entity-type":"item","numeric-id":2767202,"id":"Q2767202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd298fceff94b61e222c4dcaa5277a60cf680d21","datavalue":{"value":{"amount":"+0.7648374438285828","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":"Q1125424$1BAB357E-BFA8-4137-980F-12EB1488A2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee449fd857ee2717807d080611cca80311e5707","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e4ac489f429a4329e68d5a3ab2c14c08ac5621","datavalue":{"value":{"amount":"+0.7563906908035278","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":"Q1125424$100DA6F2-FA72-43E2-88FA-53DCB804CA59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1125424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1125424"}}}}}