{"entities":{"Q2971123":{"pageid":2981848,"ns":120,"title":"Item:Q2971123","lastrevid":52774919,"modified":"2026-01-23T11:41:23Z","type":"item","id":"Q2971123","labels":{"en":{"language":"en","value":"Logical characterisations and compositionality of input-output conformance simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6700294"}},"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":"Q2971123$0DFB6404-641A-4054-9AF4-5667D3F52A3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"831d76f610aa0482b07b89a0f6d7862d42286936","datavalue":{"value":{"text":"Logical Characterisations and Compositionality of Input-Output Conformance Simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2971123$4AF318F2-CC32-47BA-86E3-53E98AE5F44A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84379bc6786ab60b01c91173bfbeedb03364763e","datavalue":{"value":"1433.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$3DE54C24-72E7-4E4C-8A50-1CCED3B6122D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c68a70c76f479dddd67dabeb438bd1c4a3f6558","datavalue":{"value":"10.1007/978-3-319-51963-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$88E1C605-E1AD-46B8-AEEC-5D5BE50B9ED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$698080F7-2035-464D-A5D9-4762B358BBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7478430eb26658d7e19e913ffefd51e148e64d","datavalue":{"value":{"entity-type":"item","numeric-id":2403820,"id":"Q2403820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$62185D16-97F8-45E5-B624-1E042F76130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"741c53fc912477e5a1a01bbb10608ec4748d1085","datavalue":{"value":{"entity-type":"item","numeric-id":843210,"id":"Q843210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$0D24395D-6C38-43D1-9AB6-5CDED5703EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$F9DA69E8-7397-4869-B1D8-C48C33934147","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e783c5d172b895bc44a18793e3a8ba0dc037f0","datavalue":{"value":{"entity-type":"item","numeric-id":2971121,"id":"Q2971121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$83FEAF9D-4866-4B4D-81B0-1B3919B85E04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c8949104cb3355067f12c7ef2dbd734933f3b0","datavalue":{"value":{"time":"+2017-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2971123$63E86C8C-0E5E-47A0-AED1-095893357C57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$0FEE22D1-8980-430B-A843-0C88C246C5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$3627216F-42E4-47E7-BE1A-072A7C7A8CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$7F91AD45-F10F-47AF-9832-B0BDD23AC0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$266D79CD-4C09-4EEF-B41A-A235CBBB1796","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"219a1e4a18c8749d739e8bdedc7b0803e5555f69","datavalue":{"value":"6700294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$CB038981-50E9-491C-836C-0D5F9CB51A96","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":"Q2971123$EFD4EF03-D5E9-4FA2-B823-06C2E5404F1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be20120537104d0c0ef8b10512a85bba5aa70b0b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-51963-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2971123$9967369A-228C-41A9-B280-3BF5B21730DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65aa1005a2b92405758545e2b3391ab73fd5929b","datavalue":{"value":"W2570726665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971123$E08B520E-86C7-4F57-8710-F4B4525F62E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$6ABE6443-3F22-423A-A067-F1AF33B3A1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfdb923653a9756b26bec76370e9c030224aafdc","datavalue":{"value":{"entity-type":"item","numeric-id":3455865,"id":"Q3455865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$CFAFEFC4-D239-4452-A90F-7909D8E3DF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$9C4CFC6C-15C8-45D2-A0FC-8DC15B16DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cb3841cb9de99ab18385b9593c3ef6b8c99848","datavalue":{"value":{"entity-type":"item","numeric-id":2838240,"id":"Q2838240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$D52C4D89-EEB0-42AC-9184-1D5EF843090B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$EFA3D495-52CC-4B51-8231-355BACDCFEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$9B0672DD-5613-4BAA-A957-D250682F0494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d20edb64bd40b7b69e2d74076f68d8a2f026e94","datavalue":{"value":{"entity-type":"item","numeric-id":511941,"id":"Q511941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$33D4A95E-B543-4393-B4CD-E235D3888F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$CE6BFA58-9993-4130-8D27-AEFE4C977DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a018764f0b9350fc40ac73cf6c173817a8d205","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$D788BAEC-501B-4164-8843-8D35CF088CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971123$157693C5-53EC-4D55-A943-DEC285F0B042","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed3c74933e5111c1bf7f8c7d0d879951f07a8a9","datavalue":{"value":{"entity-type":"item","numeric-id":2423772,"id":"Q2423772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c107c27d4b9cb72c287c71decf44b215ea72538","datavalue":{"value":{"amount":"+0.9664614796638488","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":"Q2971123$9BFE950D-7E9B-48BB-A359-E5C8E86F9132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38152ce290fb5c2c782ab3cdbe1b63360e282cee","datavalue":{"value":{"entity-type":"item","numeric-id":1785863,"id":"Q1785863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57baedc687e751f044c3b374dba948101f84857c","datavalue":{"value":{"amount":"+0.7864280343055725","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":"Q2971123$2CD4B335-525D-4DD3-9347-5E296F815BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ba29b4a9504baba7d2e12d66c32f5efca9b37e","datavalue":{"value":{"entity-type":"item","numeric-id":3585031,"id":"Q3585031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e22b7e22afe93d0d02e0f5eb4269f8e80ec25f","datavalue":{"value":{"amount":"+0.771140992641449","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":"Q2971123$C490D660-5010-4809-B077-CF73DEB01757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07924bb0d752d09faccbb08cbaf47807c804305d","datavalue":{"value":{"entity-type":"item","numeric-id":763529,"id":"Q763529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb16dabb1d236b32989bafe8b976bfabdfb5026","datavalue":{"value":{"amount":"+0.7394959330558777","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":"Q2971123$AB866ACD-A5B9-4C63-BA47-FBF34E5D7940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33119db50159d00177158a94ed6e9b147547b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78cd992c3e659547a037ba04dfaaaedc6ab4b041","datavalue":{"value":{"amount":"+0.7252313494682312","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":"Q2971123$9756FE17-2491-4CA4-81F3-93D662ADB880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2971123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2971123"}}}}}