{"entities":{"Q5718684":{"pageid":7748238,"ns":120,"title":"Item:Q5718684","lastrevid":48632029,"modified":"2026-01-05T10:58:54Z","type":"item","id":"Q5718684","labels":{"en":{"language":"en","value":"Minimal predicates, fixed-points, and definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247442"}},"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":"Q5718684$8A111D22-945D-4CD4-8B09-19995218E251","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51b9452137b3cbaed1787a600006f2814a2ef397","datavalue":{"value":{"text":"Minimal predicates, fixed-points, and definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5718684$B4BADF2C-A038-4A47-93D3-4C2C7A6FF8FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fc518de6ddb56594bc22d8f7175aa2ec4f18717","datavalue":{"value":"1089.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718684$6B7E32A9-DB91-48C5-B464-76F224D676A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$D16300C9-FFC9-49F1-9066-86F9EEF9E31D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718684$A80EB1FB-62EC-4AD7-A81A-EF0E4DB44B37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718684$3216FA0B-3F05-4FA7-BE66-1AC90A2A9D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718684$98678972-7040-4029-BD73-DEF1692FFDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718684$93C74F2A-CC30-4633-BA22-AAC1B9FAE111","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4acb890144434403e0bc39b9c7db5459dbdf2a5","datavalue":{"value":"2247442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718684$58E99F3F-6816-42A6-8153-24D5EF30466E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9136d44a1d4b02cc360d9bf0e414e8907470082b","datavalue":{"value":"first-order logic with predicate minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718684$C1C1D4BE-3A3D-4BB8-94F6-CDB6CAB9C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96235255d1afa5aaddcf630e807431476bed0679","datavalue":{"value":"first-order syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718684$2CAE6396-B94E-4E8E-8B38-F85061FCF382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a973ca6b294f3c624d69e8067af106d806cde77c","datavalue":{"value":"preservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718684$71E591E4-5255-4AF3-BDE5-27AFA5950034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"873fdb584991a3c87de449e2b72461727dc505ed","datavalue":{"value":"predicate intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718684$FD43AA83-B0FD-4CD6-8689-0512D5D19D1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$3E18DB7A-6337-4C65-A900-76EF88F65CC8","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":"Q5718684$A68393E0-8A21-4E95-AC9C-151CBF8DBACE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77a129df1f7e0f7f461c8e92875d567353dc21cb","datavalue":{"value":"https://doi.org/10.2178/jsl/1122038910","type":"string"},"datatype":"url"},"type":"statement","id":"Q5718684$B9CAD7E0-5814-4673-B7EB-478E53A01D6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"782afe952f4b9b3cbcc03197b9be47b36ef30d2e","datavalue":{"value":"W2116809109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718684$503A389F-4C60-479E-88B1-1AEF8724AB1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b4f0274fee9036eec5e76feb154c5bb7ab8dae","datavalue":{"value":{"entity-type":"item","numeric-id":3487316,"id":"Q3487316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$8CDEED9E-4CAF-4F32-991A-F7A9A039A36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$3D7E2694-DFF1-4988-B7FE-F67092B25D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c846ef9e19cf9b78f143d236e1f0260994c9227e","datavalue":{"value":{"entity-type":"item","numeric-id":1868335,"id":"Q1868335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$1916984C-510A-4007-9C3A-C86C202D82AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$C8D94679-9B5A-441F-AFDB-DB665179D97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$65F73493-3DF8-44BF-A30D-7EAEBBFA7EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920dc790438762b9b704f4cfa4d3e197cb917db9","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718684$BBF88655-5525-42D7-A209-776D322D4801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a18c2941f632178085a10ae4b076560822a55b4d","datavalue":{"value":"10.2178/JSL/1122038910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718684$E68786DB-1349-45A7-BA82-52CF616A35EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0638cb15520e79d440885a1d385798938c7a159","datavalue":{"value":{"amount":"+0.7605010271072388","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":"Q5718684$31192C15-EACC-4468-B233-EC2D577DBD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c45dae8a6fee73916709a72362f686828cc5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5436989,"id":"Q5436989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2afc01252f1f8a32cc118c10cf7205147864d1c","datavalue":{"value":{"amount":"+0.7352303266525269","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":"Q5718684$2144E880-DCAE-44F5-9BAA-99DE7FCC5BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76387bbc50fc0fa7e60b5f8361a7b638cbe8abe9","datavalue":{"value":{"entity-type":"item","numeric-id":3647275,"id":"Q3647275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14139b36788e40796c8d41f0657d10d483900352","datavalue":{"value":{"amount":"+0.7293605208396912","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":"Q5718684$1C899A4B-4C90-4431-9783-F132F48A20C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b06cedc1c0941da1031ab215707334c383e100","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97ecb26ae11ccf17bb7d275ba199c9a84bc5f61","datavalue":{"value":{"amount":"+0.7275068163871765","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":"Q5718684$91851C23-5CD9-4835-9210-81E61840049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c797aaecf45109147d3ac9cd6f45a46f7681527","datavalue":{"value":{"entity-type":"item","numeric-id":2885299,"id":"Q2885299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8bd1d67690bbbdb2ce71e7dab612bae432e136","datavalue":{"value":{"amount":"+0.7193771004676819","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":"Q5718684$797BC021-F889-4F51-AC17-FF30BD38E613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718684"}}}}}