{"entities":{"Q5874209":{"pageid":7903760,"ns":120,"title":"Item:Q5874209","lastrevid":39654380,"modified":"2024-12-30T16:43:13Z","type":"item","id":"Q5874209","labels":{"en":{"language":"en","value":"Order-Invariant First-Order Logic over Hollow Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650836"}},"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":"Q5874209$76A33C92-C6BB-4155-AD37-2CFD22F76BDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dd63a7d69e4a47da7d40f3d748298dc339c9b8d","datavalue":{"value":{"entity-type":"item","numeric-id":5145656,"id":"Q5145656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874209$A4E8840A-94A8-4D80-9E59-822877AAFF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf03d46d6c13b138c98e3cc17440d2819249349e","datavalue":{"value":{"entity-type":"item","numeric-id":845666,"id":"Q845666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874209$7B4ED0A8-48C5-4860-9580-7FCAAE9A8BEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-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":"Q5874209$1CAA0429-6123-4AA1-9886-555568D50748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874209$BBDE0033-3B25-45D2-BFA2-985321EE0E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874209$98625FC0-6AA9-44EB-8764-57D618DDCAC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d7f2e18145bf13621297bbfaef18136b6222428","datavalue":{"value":"7650836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874209$60B456A7-71F7-44A1-A3B6-2E5FA0B93774","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f105881160eb9e36ff285b0482ae452da4f51fef","datavalue":{"value":"order-invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874209$2D100519-F421-4BB8-941C-ABCEDCE5FBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874209$533E2B47-112D-402C-8BA2-97838BDE7529","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":"Q5874209$8ACCA704-E088-4EB1-88E1-F8F67E4C3530","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eefbaf9651ef1bb92650a76c1d4fcfb9b82a933","datavalue":{"value":"https://hal.inria.fr/hal-02310749","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874209$94F491E3-625F-4D0F-8318-5B8F461E10A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"874d50431dd632ace48dfe8e990e672890015223","datavalue":{"value":"W2979740680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874209$BC08DE38-0723-42A3-B12B-B2037786E458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07a13cb4aa6b689e589d9fa324260aa1c39e6981","datavalue":{"value":{"text":"Order-Invariant First-Order Logic over Hollow Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874209$68CB2821-1E5F-49D2-9A86-F839F3E295B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ef1deb8b84471f1a67276b793a68fb6b60f49f8","datavalue":{"value":"10.4230/LIPICS.CSL.2020.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874209$00D7F71B-92AE-4B87-9D7A-07C99B02A49C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874209"}}}}}