{"entities":{"Q4180331":{"pageid":6209932,"ns":120,"title":"Item:Q4180331","lastrevid":37430871,"modified":"2024-07-30T10:14:52Z","type":"item","id":"Q4180331","labels":{"en":{"language":"en","value":"Compact and \u03d6-compact formulas in 51-151-151-1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3616404"}},"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":"Q4180331$E5460C67-B257-4091-A08A-75441472C0F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d362384ec725e1850457694a6c03281db8624c23","datavalue":{"value":{"text":"Compact and \u03d6-compact formulas in 51-151-151-1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4180331$86E0288D-C631-4963-B8EE-8AF28EC949CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"962f998c1ff901ef74b4dd7b2a934df241582fdc","datavalue":{"value":"0397.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180331$C66A9573-874F-4044-8917-CDF26ACCA2AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4279b34a2bdfafd827a400d985d3d9d746cf516e","datavalue":{"value":"10.1007/BF02011867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180331$2EEB84D8-24B3-43F7-8035-6F4138971D93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec51540f0def870818e0a91c3c59d96513755cfb","datavalue":{"value":{"entity-type":"item","numeric-id":1097276,"id":"Q1097276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$A9F40AFE-0FCC-4CF8-822D-7699E39A0B21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$F4735C09-872B-4038-9AEC-216C6F43B716","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4180331$7D3488E4-4F18-4EEC-9A8A-4064A09EB5DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e1e272a71c65bb268f89cffdf043d4c8876470b","datavalue":{"value":"https://eudml.org/doc/137944","type":"string"},"datatype":"url"},"type":"statement","id":"Q4180331$05D65759-AB38-4E37-AC1D-7EEB764568A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180331$AA30FF79-E5A2-42C4-A3E8-DB8ADEFFC72A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"143cde6485fa803339b7ad8b01d10bc2abb6bed9","datavalue":{"value":"3616404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180331$AE9EF776-CD47-45B8-A59E-A04C0A225433","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06f38ad90755449c2892ea886f9b35214569a10","datavalue":{"value":"Compact Formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180331$FDE15814-2E3F-4309-9E66-DA9E3C0CBF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90b385eb79144ed95f1cc92ce39039a3748ed92","datavalue":{"value":"Equivalence to a Finitary Formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180331$DC64FAF9-9964-407E-96D0-6E8823B95C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddb0a87d1cc7854823e7330301b8e31595d9a3e","datavalue":{"value":"Infinitary Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180331$FA5083D1-0380-4F6B-862D-F0D16C0541B7","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":"Q4180331$6FAABFD0-9DA3-4CF3-BD39-76CC58BFCE71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$FE379CBC-2B30-4B38-9094-0479418F926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920df40f69df0331657e754680244a40f440d3ae","datavalue":{"value":{"entity-type":"item","numeric-id":5685075,"id":"Q5685075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$0C743E0C-88C8-4E28-A6BC-2257BAE7EC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd7e1edf5752ca03133f46dbd1bdb6f2ec94cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4180331,"id":"Q4180331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$A8E3B909-22D5-4FC3-BA1C-A6A47A9AEF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$91EE4518-B57B-40C5-8B6E-ADAC70096FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$6DCF2314-EC1C-49AA-9EB0-0ED422372A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b3b9eb455017d48e441a05b0bc26126bc5d5bc","datavalue":{"value":{"entity-type":"item","numeric-id":1218855,"id":"Q1218855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$C7A07F63-3FDB-4AE0-AC8C-F2FA645235B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$DC2B18D6-4C7C-4591-8545-8C0456F4CD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180331$B0BD79AD-A9C9-4203-9C5A-D7D0ECA87A54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31afe6aece044b175573ce7ea263f2b40cbea316","datavalue":{"value":"W2070221410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180331$F13C42F9-9F39-4CD9-8D1F-E648FA5171C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4180331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4180331"}}}}}