{"entities":{"Q5432344":{"pageid":7461908,"ns":120,"title":"Item:Q5432344","lastrevid":41670056,"modified":"2025-05-07T00:20:08Z","type":"item","id":"Q5432344","labels":{"en":{"language":"en","value":"On the Completeness of Context-Sensitive Order-Sorted Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5222815"}},"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":"Q5432344$B1FE01CD-0F77-4D00-9FC0-1F3F65ED4369","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5939b1bf82fee12c97d7d17f24d66457e3441ee","datavalue":{"value":{"text":"On the Completeness of Context-Sensitive Order-Sorted Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5432344$9B58711A-DE9D-4397-B4BE-5FE01695D655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"703a5ae25b092b8bf783991274a84f5050f9cb9d","datavalue":{"value":"1203.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$01DF5C03-C425-423E-A9AF-3F885808BFFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cf1b0eadca88815bf5764b36610d2cd7166f2e1","datavalue":{"value":"10.1007/978-3-540-73449-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$7B693131-B7E4-4B2F-9905-15A598F9AA0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f333256f1c35f220add5135e8d9d301a6cdff2","datavalue":{"value":{"entity-type":"item","numeric-id":3522014,"id":"Q3522014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432344$F96DAD25-0449-49ED-940B-FB63C237C7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432344$F0E5E266-C8FC-4AD9-93AB-C15E266F453F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432344$23AD1ABA-A0FC-4751-8E85-765662F3E814","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a793ba04367ac87554a44ec77bbc84d2cc70c8c","datavalue":{"value":{"time":"+2008-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5432344$187DFC64-49EE-4212-9BC0-05D794652F2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75cc09a8530b4922a4de95a166ebff1ad3929eb4","datavalue":{"value":"http://hdl.handle.net/2142/11291","type":"string"},"datatype":"url"},"type":"statement","id":"Q5432344$B235F6DF-621F-4D6D-B5CB-00EA1AD66BAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$F02851C7-EC31-4C23-80BA-073986D6BECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$A9DFCAEF-CE6F-47F6-AD58-6BBB92EF8DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$37207B04-D0CE-4721-9F98-158562CCEC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$70A194B9-1700-4AA9-8BA4-F5265E64A51E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"318ce529e83bc68b98b510db89f455e7fc416f82","datavalue":{"value":"5222815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$AD07EF8B-32C1-4871-A3C7-68E08BAD0214","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432344$05DD9F3A-48C7-45DA-8D5F-0EF068606E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432344$CE02782F-30CE-4F06-9E7A-528606490441","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":"Q5432344$BC206AAF-FD62-4631-A837-ADFC0741DE9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fabee0ee5978908518869402f7499d7d4a9a8968","datavalue":{"value":"W1509808769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432344$6D396ABF-EF41-45A1-BFE0-261FBF2B1E1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5595f3a2c4c08511272b3232defafe1b37ab342d","datavalue":{"value":{"entity-type":"item","numeric-id":1185014,"id":"Q1185014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27823e99e97edea5fcf94a8027a27731d3a8f961","datavalue":{"value":{"amount":"+0.91011196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$5F34AE04-57DA-4F21-8145-548650D2A472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cca0a2987b129fa09e63ef02cc9b4e4510c9db","datavalue":{"value":{"entity-type":"item","numeric-id":5881203,"id":"Q5881203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d06a6c2045b16dc09d0a47c2f1db20637e5773","datavalue":{"value":{"amount":"+0.9076493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$E6D5AB6B-EE4A-430E-AA6E-F7042A60F82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfdd4b454cebc0e99a04e6946278fc8a42878232","datavalue":{"value":{"entity-type":"item","numeric-id":3839060,"id":"Q3839060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65240c78e5c0b69acd93729cf07fd980d4c9f707","datavalue":{"value":{"amount":"+0.89840055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$3263CDBD-A538-4613-AFDA-D37C0F907AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6c71dcea2bc14b24a58f1a0b63cc534d9294f","datavalue":{"value":{"entity-type":"item","numeric-id":4364594,"id":"Q4364594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ac797073b795e5ff9f830007305e8367985324","datavalue":{"value":{"amount":"+0.8943405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$86F9099E-4260-42A4-BE16-6B6C97A0DCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20597bc25a4e7ac134b63bb5b95e64d22f6e4ca6","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461cddc8b5cb867fa5ef7dbeb5674c4170eaec75","datavalue":{"value":{"amount":"+0.88471437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$E7E6CBDD-DFA5-452E-9236-BAFEEBF312B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bfb9908dacbc1febecf8ff97fc085e1eeb211c","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92fa91f43df2f171960bf84f3f99f6f5193609d","datavalue":{"value":{"amount":"+0.8763899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$E34D9421-F27C-42CE-B525-3B77BB0ADA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196bbfa2cb214e27f4e32b68f751ee140f31d4d8","datavalue":{"value":{"entity-type":"item","numeric-id":1391744,"id":"Q1391744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444e1430c12a3c41c9e90b1b115b71aef62b4ad1","datavalue":{"value":{"amount":"+0.87008023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$57F85DB0-D4CE-4FCC-9461-121CAD16144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b04844e17eaf8e213efd46faa6d41e6de83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1264441,"id":"Q1264441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4a98bd6d5c5de7c7ad7da9b260dfc37741d272","datavalue":{"value":{"amount":"+0.87000126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$76499BF2-FECF-433A-83BF-EC30B08E6332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181a7fb68ff0c11950269760fc90228d76807ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5055784,"id":"Q5055784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4a98bd6d5c5de7c7ad7da9b260dfc37741d272","datavalue":{"value":{"amount":"+0.87000126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5432344$43EC4023-5868-4ABA-9036-E7653CEBA7E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5432344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5432344"}}}}}