{"entities":{"Q3457977":{"pageid":5237377,"ns":120,"title":"Item:Q3457977","lastrevid":90153887,"modified":"2026-06-04T19:25:22Z","type":"item","id":"Q3457977","labels":{"en":{"language":"en","value":"A logic characteristic for timed extensions of partial order based equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517177"}},"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":"Q3457977$FAB1BF25-459C-4462-AE8B-0E38D964C31F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da177240e3af0fce6c9129abb9f1b76825ef8126","datavalue":{"value":{"text":"A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457977$27A6B878-EEAC-4171-A35B-B78F3113BF15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7c5f3d83478911c91e4fbdd6338644d4ac31b42","datavalue":{"value":"1336.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457977$75468C49-718A-4A06-9AED-3DB39930B677","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09b60b2dc5c7136b8d23069679b5f0b149fa3b8a","datavalue":{"value":"10.1007/978-3-642-29709-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457977$69AA097B-B4E7-4FF7-9D9D-57C5F9CAC8B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457977$DB2DDC57-7CA0-4E0C-B699-C8F65630A904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-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":"Q3457977$7E53E133-1AAD-4475-B06C-A6F89FA28226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457977$5C356133-CA3F-4430-B4F2-C8CF437B8C0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87e505dc7267c9c9310a1f819538560fdffde33b","datavalue":{"value":"6517177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457977$9357D97E-A9AE-4CAF-B4BF-0E18B951EA5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d234bb3850ec3b0483144f797145a0f552c3cbf","datavalue":{"value":"timed event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457977$11BC752F-0E0D-493A-B2C6-ABB0604D6F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17612eda9208ddc6736eb01754320c68a246280","datavalue":{"value":"timed partial-order equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457977$E3B65EFA-432C-4843-939B-14EED9A88E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27ef39838fa4aa8bf959d961698d54064da79be","datavalue":{"value":"logic characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457977$9C2A7CCA-4329-4124-A2BB-9007131AA72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457977$86E972F1-BB16-4B95-9732-D878037E2897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c1980a78f35fda123e65879d76aa809158bdc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2280182,"id":"Q2280182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457977$D3D8CFE8-83B3-4F3D-8355-D92B2ECB260E","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":"Q3457977$90901143-6608-45DD-AA06-08AA0B2922E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4a6c6d7ee11da14eb72ee15f8902f9073ebb82f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29709-0_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457977$A5ABE369-DCA5-4A20-8FED-E48152940314","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5777c0714c069584bd9cf4566d5b10f256e8eb24","datavalue":{"value":"W2184876622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457977$1AD58743-843C-40AE-B0BD-B1FB7FB6C3CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79f94a413f1f843308a6813707ddb85df509ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5398251,"id":"Q5398251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cef42ed2916a78db5d9dda777e68c1b012a122","datavalue":{"value":{"amount":"+0.9149372577667236","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":"Q3457977$3D3C3856-7EE8-420C-808D-B36632CC9FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f8071604c3051ea9df0471407f09edf9a475ca","datavalue":{"value":{"entity-type":"item","numeric-id":5055959,"id":"Q5055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0287ce372076ccb2dd56d4b393f05819892e207","datavalue":{"value":{"amount":"+0.7867060899734497","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":"Q3457977$81F68068-4690-4394-8009-7E973D295BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae8103c4bfa26486105392d418fb7075a72b5ae","datavalue":{"value":{"entity-type":"item","numeric-id":4818753,"id":"Q4818753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfda2f0d32a48c616c954a7830af94953e040ce","datavalue":{"value":{"amount":"+0.7815028429031372","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":"Q3457977$5EFE8B21-049F-4446-BC93-65941745258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee54bf73d633b865d219f2ba1f05f02b3c3b4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5902414,"id":"Q5902414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06ed236b39401f137c07a72d4e05aabe8b49f50","datavalue":{"value":{"amount":"+0.7777351140975952","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":"Q3457977$DECDB6D3-A6FE-42B5-89E6-EE30D9514737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95bd1a7546276a1f4c53438407c284d10e43806","datavalue":{"value":{"entity-type":"item","numeric-id":2880604,"id":"Q2880604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcac973ae58756cbe03ae56f7a4902370e95d03","datavalue":{"value":{"amount":"+0.7747781872749329","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":"Q3457977$66F24752-A5F8-4DF6-BA98-69B78ED6CC0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic characteristic for timed extensions of partial order based equivalences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_characteristic_for_timed_extensions_of_partial_order_based_equivalences"}}}}}