{"entities":{"Q3158528":{"pageid":3169244,"ns":120,"title":"Item:Q3158528","lastrevid":48406039,"modified":"2026-01-04T15:19:57Z","type":"item","id":"Q3158528","labels":{"en":{"language":"en","value":"Ordered chaining calculi for first-order theories of transitive relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131021"}},"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":"Q3158528$75215D52-6805-40D8-B4E8-8B24039BF853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0fa319d1ee1efa8d257b34873185192d106495","datavalue":{"value":{"text":"Ordered chaining calculi for first-order theories of transitive relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3158528$E96292C1-AF9F-4456-BC8B-C56E9373E311","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58348c237c4f06fb0ea54313c74a07cd1d1e1452","datavalue":{"value":"1065.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158528$08A993E2-7EBD-42D4-9ABC-186C8AC420A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46590acf58656f02f726df051e686eeb65d1455e","datavalue":{"value":"10.1145/293347.293352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158528$7E835CC0-9FCE-48B0-AB0A-DAE7B0956B85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158528$52A89CFC-C15F-40F3-9FAC-DF51C650DC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158528$627F6338-82E7-42BF-8671-C8D6C5ADABD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158528$59556C5E-E64A-49AC-B2F6-149F6BB82ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3158528$49EA2199-65BF-4E2F-90D7-F8FF4BC4E8DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158528$8899951E-FCB9-468F-8488-F0E75390E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158528$A982D612-4AFA-4A8D-9FFB-F8DA570DAFC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cefe96f1fa9cd01d2b57056e348df6b8a438bda7","datavalue":{"value":"2131021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158528$E6D6AC02-BF51-4909-93E4-736F7F4963F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158528$9B67FEF2-7442-41E4-9205-DD7400B2911E","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":"Q3158528$FCF40B50-CB35-4EE9-B7B3-8D10D71C93D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"548baf4b352736d0439b856bd851c908390af096","datavalue":{"value":"https://doi.org/10.1145/293347.293352","type":"string"},"datatype":"url"},"type":"statement","id":"Q3158528$F8771B0C-EA39-495F-ABED-66E57A9ACEDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da87045173201baf4124024aeaf96d5196563a85","datavalue":{"value":"W2027752737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158528$F7D4B17E-B9BD-4A32-ABE9-B6DE3551899E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa63983357725b92284735b9d721025acf873fb","datavalue":{"value":{"entity-type":"item","numeric-id":5210789,"id":"Q5210789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7c1f7c4007649b3f2a0efe600323a1101d6ec4","datavalue":{"value":{"amount":"+0.8374760150909424","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":"Q3158528$7A428E50-663B-4CEA-89BC-D62738DA9C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf4fa01427cd5581e8dc7e4d8d4179de831377","datavalue":{"value":{"entity-type":"item","numeric-id":2778885,"id":"Q2778885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59caa75366dc44b6276f623694efd75167ce2e9b","datavalue":{"value":{"amount":"+0.8055967688560486","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":"Q3158528$3E92B207-8C01-4213-9FE1-10131CD276E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e34f488c9d5380185554b321451806979c71932","datavalue":{"value":{"entity-type":"item","numeric-id":1079960,"id":"Q1079960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4c8ee0f580563a3312f48ad80fbfc05bb897a1","datavalue":{"value":{"amount":"+0.7379524111747742","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":"Q3158528$37103871-B781-4C8D-BEAB-0BF5C5AA0027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0275d8299033c9f99fabb4193ffab91462b27ae9","datavalue":{"value":{"entity-type":"item","numeric-id":4255506,"id":"Q4255506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4a8748f990339bddfccb10b844e0f50c0e20eb","datavalue":{"value":{"amount":"+0.7352612614631653","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":"Q3158528$35BCCD69-FE53-4332-A52C-79D7713228BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7130a187bd24e4894b8f6c7d4617bd02a3c1760a","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230d594bc3433fe115bfe3cf0b539ad3ba33cc22","datavalue":{"value":{"amount":"+0.7338657975196838","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":"Q3158528$23CE12FB-4DF1-4429-A50C-09A8A028C24A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3158528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3158528"}}}}}