{"entities":{"Q4238504":{"pageid":6268105,"ns":120,"title":"Item:Q4238504","lastrevid":46581288,"modified":"2025-12-25T01:58:48Z","type":"item","id":"Q4238504","labels":{"en":{"language":"en","value":"Non-definability of the class of complete bundled trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271177"}},"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":"Q4238504$77B0DACB-20DD-4CBC-B013-D282F8B04CE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88545a423d8cd63737560417acc0c3bda69b83b1","datavalue":{"value":{"text":"Non-definability of the class of complete bundled trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4238504$59AF13B8-E272-4E1D-8B78-D440634E2234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a698c89e6352a36c6840f5e515d438bebecb7b6","datavalue":{"value":"0919.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238504$0D7AB8EE-93F4-4353-859E-2A4D73D07AF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238504$94D030D2-48AF-4089-A88D-F5FAEA3D3D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6346d723606a444d5df0b14de9acf2699ebf951","datavalue":{"value":{"entity-type":"item","numeric-id":4238503,"id":"Q4238503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238504$ABD6B750-11B6-4CBE-B31A-FA45DB092BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238504$A774EA6C-34AB-4EE0-B5A3-285782776315","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4238504$CFF326B1-FD5E-454C-A7FD-6FB85F044997","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0a48ea409f443edcca10b3ea7e30c7b82702c71","datavalue":{"value":"https://semanticscholar.org/paper/da909c556cdaf449cfbdf8fe8a920be52b969de9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4238504$8FC93014-B607-4A6D-A0CB-403B6B847403","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238504$3D09723D-821E-43CB-B661-F25FD7FF09C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2180fb35dea912adfd97614a93d288a6f8fc0d7","datavalue":{"value":"1271177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238504$703FF2E3-ABE1-4A7F-8092-E88CE20F0A1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238504$6F931294-7AAD-47E0-9F0C-033DC392427F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238504$73254AB4-76AA-4D3B-A499-CD2C65A444C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"915c1134b0e849f4f649b1f664d90d7032d92609","datavalue":{"value":"quantification over bundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238504$3046A300-8B79-4669-88F0-5B803CAB3CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238504$6ED05CD5-0D24-46A8-BA2C-C2F174E48AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28034447f7312ca89d5e749631d5ce06da5624b6","datavalue":{"value":"histories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238504$A663DDEF-2B39-412E-8D8B-BA9EBFC71D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbe90ae7c69d02b100d3e226056b1ad37adf33a","datavalue":{"value":"complete bundled trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238504$F70D9D83-43A5-4E83-9A68-A256E2CB4670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2fbef3a52d2e5f34c65ad95bfd66bcb0e65a583","datavalue":{"value":"Ockhamist branching-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238504$B934B6A8-3F34-4333-B750-96C86181D2C1","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":"Q4238504$4BB56FCB-603B-4D09-B3C5-3EC34E33F673","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cd8b1269e5f26483244217b1838141c70665611","datavalue":{"value":"W2007505115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238504$9865E530-D9E1-4183-86D3-E383787EF788","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"579d82f1038592afc068120f5dea0e80444c5ecc","datavalue":{"value":"10.1093/JIGPAL/7.1.125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238504$D32EFB18-917A-4ABE-A1AF-741FFD4F1E0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238504$AC9367A4-894A-415D-81B4-8BDCCAA5FC7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2c31a1b7500b72d9d309d95fe20e157fc7a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62b7f4e954d055c75c655d8381e1b62820b81e2","datavalue":{"value":{"amount":"+0.7707817554473877","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":"Q4238504$BE2B66BB-4ED9-423B-BB62-A1567DD0E65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a14808e0edf8beba0c1ad72200a06fc6d2a8e71","datavalue":{"value":{"entity-type":"item","numeric-id":1419382,"id":"Q1419382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362ca68dc01fb72770113638ea745c6856be6ea2","datavalue":{"value":{"amount":"+0.7559577226638794","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":"Q4238504$6037468C-11BD-41C2-ACEF-C468ECB62E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4173198d3c9b3be548ec242188f2e17f77b2b097","datavalue":{"value":{"entity-type":"item","numeric-id":3442402,"id":"Q3442402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7ebe72359d5cc531dda5683630691d57de6e37","datavalue":{"value":{"amount":"+0.7373249530792236","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":"Q4238504$ABF87DCD-8EE3-486C-A01B-6065051DE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21bba9bb1d120a5a91d6c7c48e6a3b546e5e7e3","datavalue":{"value":{"entity-type":"item","numeric-id":288245,"id":"Q288245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d40dfaf168815c578a996a51a11ca1092855e0c","datavalue":{"value":{"amount":"+0.7320896983146667","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":"Q4238504$58D887AB-4061-4879-BD73-35F837F2E340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4238504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4238504"}}}}}