{"entities":{"Q5747758":{"pageid":7777309,"ns":120,"title":"Item:Q5747758","lastrevid":97044755,"modified":"2026-06-05T13:06:55Z","type":"item","id":"Q5747758","labels":{"en":{"language":"en","value":"A slice-based decision procedure for type-based partial orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785445"}},"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":"Q5747758$1F52392F-2B84-404A-9C1E-D67D5C6122F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e860b7c17959a2d1fd3ffd1b39cbf59e7c3c0dbc","datavalue":{"value":{"text":"A Slice-Based Decision Procedure for Type-Based Partial Orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747758$2754455F-FD23-4075-815E-133628177845","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eb95823da8a01f5ee2f29768f51ee4f8d1ffd08","datavalue":{"value":"1291.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747758$51BB63B0-895E-497E-B590-79BFA95DAD55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88557740ef4177aaea675c63bdc299e57cb392b4","datavalue":{"value":"10.1007/978-3-642-14203-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747758$2739C80D-F20B-4AC5-AC27-49C2E3343548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d846c5c057b74b6f99370d326efe1ebe9f1cf6d","datavalue":{"value":{"entity-type":"item","numeric-id":2324231,"id":"Q2324231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$3EC10543-5546-4918-9593-BA52A8BD5CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f23681b2d938a9f86c62f581ab66ba7362452205","datavalue":{"value":{"entity-type":"item","numeric-id":744611,"id":"Q744611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$BBCF3A77-77E6-4AED-A2CE-601F77C35B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd944228db4d60cbe510a5ef912d4a914118554","datavalue":{"value":{"entity-type":"item","numeric-id":816195,"id":"Q816195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$DE78EB24-7C40-40AF-985B-678B96FAB8C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$D71BBD01-B89C-4D04-AF37-F2F0C2DAFD7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747758$18C3A274-3C06-4513-A472-F29C601E8C12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747758$CC4C7BFB-E6ED-4030-B68C-F1164ADC71D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747758$240FDA88-6D69-4508-A070-06C131FBB68C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8fcb40b8c8fad7d136e3bbde493618963040860","datavalue":{"value":"5785445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747758$B51CC7FE-CDAC-41E3-A6E0-CC9CCB6B19AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$111B2520-9046-40EB-9ECC-A44AAF2F1604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$0D253D07-4A45-4189-BA8E-D1C521FC6D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$D40C6915-E139-4E55-8CB4-58324552E7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$AF75E033-F0CC-487F-B933-D1191EE51219","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":"Q5747758$6C24DEAB-CD61-4708-9801-0221496FFD75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b35af118f393072eba50039b3d50ee57c3dd6eab","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747758$5C3EC71D-DF4C-4D25-B5F4-9A29B050BE53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed155185645f106a70024671ad7467ae7ef4a8ec","datavalue":{"value":"W1573766167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747758$FC971389-E240-4A05-9D28-CF2312F437A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b345502c513dc247f853426190dd82b49384e626","datavalue":{"value":{"entity-type":"item","numeric-id":5458338,"id":"Q5458338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$D56578A2-AEB9-4F74-B759-96949332F387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$254B0586-8AC9-4A44-B357-6D84DCDCCC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0575326ee4146a185d8f7188836c49aee6505f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3617765,"id":"Q3617765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$D8B9CA90-8C70-4818-9798-701DB2B5C271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$75DE6343-9BF9-4E10-92D8-70C315E59EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$F26761AB-FEE3-4C4F-8204-5E052A0900BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1293c449a4ec199dbf2381bd6d081ce1eb4f43","datavalue":{"value":{"entity-type":"item","numeric-id":2389629,"id":"Q2389629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$AFF6CB64-EACE-457C-A1C5-A45DCDF6958A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ecda2530a74fd3b958fc170aad75894016b80e","datavalue":{"value":{"entity-type":"item","numeric-id":3541720,"id":"Q3541720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$775D0A98-9985-46CF-94B9-404EC758549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca1dd497aea59f467e95da6d661ce680e09389e","datavalue":{"value":{"entity-type":"item","numeric-id":3189854,"id":"Q3189854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$7AB0729F-7988-4F7A-9BD7-D9B0FCB604FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583fb7380b604fc8f28e0371a203bb6e7dd7ff9e","datavalue":{"value":{"entity-type":"item","numeric-id":5747758,"id":"Q5747758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747758$D98D505D-F6C6-4A2C-ADDD-E003FCD4B934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b0229dd953fd3b753ff3009018f27480d911ac","datavalue":{"value":{"entity-type":"item","numeric-id":5255063,"id":"Q5255063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2eb763297a5b0170eae0636e508398b796a34ac","datavalue":{"value":{"amount":"+0.6866861581802368","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":"Q5747758$9D1EB558-9F4D-4D04-9314-87F88CB4D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705cfccb5a484c9ef9db359fc2f57d981affb5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2147186,"id":"Q2147186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a65d5015acd306ea1521dba8bd304ff9665fde","datavalue":{"value":{"amount":"+0.682742178440094","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":"Q5747758$9C64B325-51FE-430C-9975-B6F2C797597C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641000aa990ed71bc1a2d2a1a990b9976dcda573","datavalue":{"value":{"amount":"+0.6746315360069275","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":"Q5747758$92FD0472-2CFE-459D-85B9-05285E894B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b90152383a36e8bc6576cf3eacb06fc6bff521","datavalue":{"value":{"entity-type":"item","numeric-id":1400710,"id":"Q1400710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b5c2244114f753d25141e0df643de249887c96","datavalue":{"value":{"amount":"+0.6643326282501221","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":"Q5747758$32A612F0-2FD2-4AF0-B625-F19D9B907B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1337f6f778fe290fe3a403311747133f44a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7540973505dd3954ecb5ec3a59fc257e8e2b3472","datavalue":{"value":{"amount":"+0.6628376841545105","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":"Q5747758$CA1F6179-8E5F-424E-BF9E-92978C4DBF24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A slice-based decision procedure for type-based partial orders","badges":[]}}}}}