{"entities":{"Q3077403":{"pageid":3088119,"ns":120,"title":"Item:Q3077403","lastrevid":79915316,"modified":"2026-05-06T15:00:21Z","type":"item","id":"Q3077403","labels":{"en":{"language":"en","value":"Simple monadic theories and indiscernibles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5855131"}},"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":"Q3077403$2135A341-9A25-4F0E-821F-61C1F5911A60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e74b3e548eddc39ee0d10c997c37fe9c07eaaad","datavalue":{"value":{"text":"Simple monadic theories and indiscernibles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3077403$A8E9334D-B145-4BF7-8AFC-D767DEB6E75A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23f48c4021c6c3eb1af8d1c274ee600c6c277018","datavalue":{"value":"1220.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077403$A9FDD2BE-F564-493C-8280-957876C5F195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$C4D9F489-2965-4E79-BFAC-7893906135BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$B0ABF1E6-7087-49E2-9682-80D2C8C97B79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ce7f58682413436d8d8499ec31fc1f8f2a5d305","datavalue":{"value":{"time":"+2011-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3077403$4F69F517-731F-4E69-AB75-1BFB8976ECFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077403$8A7D31CA-263A-4DF1-A176-1DD38D0CC2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077403$BED551AA-04D5-4F46-B780-8FCED24D5575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077403$1C9C6422-8723-433E-ACD7-16BD956DD918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"474535437f2710abaa7e91f2afe2b2a89484ce8e","datavalue":{"value":"5855131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077403$20E3AD37-150A-4297-9682-333D8721FE04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077403$EC41574A-BFB9-4B91-A9A7-D78A582402C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86891df2c64c418d041cac5b7c11ec6b3530884a","datavalue":{"value":"indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077403$6874C4CF-3E73-4FC5-A66F-C3FDDDD4B33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00f32c00be1c079cf28e3b621e4c5212fa2cf4c","datavalue":{"value":"pairing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077403$ABD71E09-B36C-491F-BE88-36B61D2D5462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35497f8b48c51e94fd4a3ba066e198bc6655b9eb","datavalue":{"value":"second-order model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077403$A26371CA-FF30-40EB-B116-5C1E8511E079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077403$09C49F83-69BC-4EAE-87DE-5540FEF4B529","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":"Q3077403$9D9BC085-E9A9-4AEC-9B00-7FCB9E5D43B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bd45fc521337dcb7a065d41ec927090cfe997a1","datavalue":{"value":"https://doi.org/10.1002/malq.200910121","type":"string"},"datatype":"url"},"type":"statement","id":"Q3077403$6117B4F2-A28C-4C56-962C-8BCA86E5318B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9460c80e7c37571ebd7dbcbbb817f0a0e741ae40","datavalue":{"value":"W2012925105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077403$DAD98326-9D8C-48F0-9136-3322C8190216","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$90A8CF6A-56E9-4FA3-9925-5051F315B036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454ad6c1a4fce84b0b780db0da2b0e5c3868e69c","datavalue":{"value":{"entity-type":"item","numeric-id":2503407,"id":"Q2503407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$3C4632C6-EEA7-47DD-ACB6-7822B6761AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff5612c16dd14373cb0f87412e3b762b530d55b","datavalue":{"value":{"entity-type":"item","numeric-id":858683,"id":"Q858683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$B10E5DB6-1071-417B-8F2B-897A08D69868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca3e41ff24151dd676f23b963a15496a16690c3","datavalue":{"value":{"entity-type":"item","numeric-id":3173525,"id":"Q3173525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$4F90F6C0-4FDA-4639-83B9-0C060B7F3A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d994db7c4e27dfd9c5271d26b11f2863b4eccb","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$11114401-C5A9-4BDE-B14E-EECD6C2C31A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$9F7F6472-AD9D-4695-A39E-B8524B5D2BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$6EDDA705-6F31-4743-B9C3-4E40BA066A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3db9754f46a3b223b2ad16828899c5a8f4181e0","datavalue":{"value":{"entity-type":"item","numeric-id":4824885,"id":"Q4824885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$C85F4933-69DB-4CCE-8221-C1C9560BB9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346c74a322fd563368828553a35521220cff4452","datavalue":{"value":{"entity-type":"item","numeric-id":2655752,"id":"Q2655752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077403$26064313-B530-4281-944F-021DB6D75AA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"801fd7360a95741ffaa5e50a2c6690f37c59157b","datavalue":{"value":"10.1002/MALQ.200910121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077403$1C4936FA-35DA-4798-AA59-A2F3E6DBA7C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a85ddcda0f23e26d415c07a52642e59ae5df8f","datavalue":{"value":{"entity-type":"item","numeric-id":3170562,"id":"Q3170562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1290d68c51c60bd903b7aa608374d511294941","datavalue":{"value":{"amount":"+0.7446784377098083","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":"Q3077403$387AF893-F41F-4EF3-A359-65E9B7CE4591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1248f67493d5594be3c133d2ce29b5a32b6ad558","datavalue":{"value":{"entity-type":"item","numeric-id":3360166,"id":"Q3360166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e243023cf7be30275d504899e7599d8379b764d","datavalue":{"value":{"amount":"+0.7202770709991455","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":"Q3077403$13EC222B-7CDD-40F3-8563-F7D619071BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5f5d856d799c7c48048723f26ab58d48f479e2","datavalue":{"value":{"entity-type":"item","numeric-id":4950412,"id":"Q4950412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50650b46273b932d98c0d85a2605ae1d7133d3b3","datavalue":{"value":{"amount":"+0.7167792320251465","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":"Q3077403$6EF60297-87F6-46B1-9F96-775D496A8F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1d29a33d5162188e8c830c4ed3f7db883b4589","datavalue":{"value":{"entity-type":"item","numeric-id":466122,"id":"Q466122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c130aab135be2c2db81d36dd2de6f5b60de4f69","datavalue":{"value":{"amount":"+0.7079017162322998","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":"Q3077403$144B7E85-E5AD-4824-857C-794D4FCF28B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48beb0dea6654c8021f4247c82ea64b721c0083b","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d0283747aa4d2dbb0bc23577f70f8d7d29fc3d","datavalue":{"value":{"amount":"+0.7060893177986145","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":"Q3077403$F30D1FFF-F887-4AEF-8203-2B8B04D50880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple monadic theories and indiscernibles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_monadic_theories_and_indiscernibles"}}}}}