{"entities":{"Q3423344":{"pageid":3434047,"ns":120,"title":"Item:Q3423344","lastrevid":50039032,"modified":"2026-01-12T18:35:29Z","type":"item","id":"Q3423344","labels":{"en":{"language":"en","value":"Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129256"}},"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":"Q3423344$E36D0FC3-C5D7-496D-BD93-21DA3AD8E995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18b60890dfcfa433c4b6c1ba175f3941d508d055","datavalue":{"value":"1127.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423344$0C001615-CCB1-43D0-8E78-DA5400BAF846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"576b11ce536271dfc99748f8414fa49761f4baee","datavalue":{"value":{"entity-type":"item","numeric-id":3423342,"id":"Q3423342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3423344$CB20CA42-7B65-42F1-AA7E-1F9D483158A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"457c5c10418c390955d69a4c98602a0d572f98ef","datavalue":{"value":{"entity-type":"item","numeric-id":3423343,"id":"Q3423343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3423344$A8E30884-B55E-42F2-8169-488000AC301E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41a3b4fabf1352cf2f124fffe01ccc513dfc1869","datavalue":{"value":{"time":"+2007-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3423344$AD766929-8A13-498C-9526-AC17E5A87353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423344$D546797F-7EBE-4170-A2D7-A9352EDCA22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423344$FCCF8323-0A63-4AAA-B97B-2950CDCA1E06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cc57a1b9603e0ecacda20f0cbb0909b84e194d5","datavalue":{"value":"5129256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423344$2B1DA329-1F73-4610-B71C-1A0136E02C48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54142774ae3a56b5868755ec17a3276dcc8d5794","datavalue":{"value":"Formal Description Technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3423344$36109BA7-418F-4F11-A667-8F6FE40F1C9E","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":"Q3423344$D535E0AF-F413-4E01-87ED-70AB65083B6B","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":"3dcb34c62bb5136f5a63c7f6ca451bf62c3a680e","datavalue":{"value":{"amount":"+0.7760236263275146","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":"Q3423344$E8DF4304-576B-47B5-8EE9-19975DC23743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badfc9f42f0dc8bd86c4c932ad93b10917551d18","datavalue":{"value":{"entity-type":"item","numeric-id":1125424,"id":"Q1125424"},"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":"Q3423344$151FC1F0-4BAC-4A95-BE98-3F3D3E3236ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e00b268e25b9029768ff8bf28d3e19d78381371","datavalue":{"value":{"entity-type":"item","numeric-id":3745235,"id":"Q3745235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913763f3dea5a0ce4f90ac66fee3cac957a3c815","datavalue":{"value":{"amount":"+0.7406973242759705","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":"Q3423344$18129A31-F10E-4FFB-B849-94A29832DB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61aea8a8d980135ab12169c4251df91f0e40280e","datavalue":{"value":{"entity-type":"item","numeric-id":3535367,"id":"Q3535367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ce3bbb277d414864e14d0660f8d336f0c02ed2","datavalue":{"value":{"amount":"+0.7393909692764282","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":"Q3423344$818FDA79-04CB-4A74-B22D-A68CB548556D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9504a26bb8afa761fea05780434565cacbf5c940","datavalue":{"value":{"entity-type":"item","numeric-id":4028637,"id":"Q4028637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d26193904169651a8793af28a81baba3f5266f2","datavalue":{"value":{"amount":"+0.7221031785011292","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":"Q3423344$EA17D01C-CA4A-4A93-8E7D-B586EE5F0308","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3423344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3423344"}}}}}