{"entities":{"Q4873977":{"pageid":6903556,"ns":120,"title":"Item:Q4873977","lastrevid":46418109,"modified":"2025-12-24T18:14:19Z","type":"item","id":"Q4873977","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 868094"}},"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":"Q4873977$C4D32ECB-18DE-4877-BEC1-E0601A4DBE4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"368636e1ef818303b8e174103de84e5a1f630d83","datavalue":{"value":"0843.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873977$2F3142DB-650E-48C8-B092-AC149CD7300F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89fdb20fc1a2b5ceeb9dcc49fa7f6c38658112a5","datavalue":{"value":{"time":"+1996-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4873977$0ED115FF-7A65-4EFD-9DB4-BAD420C98F45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873977$E38CA5FD-1313-4766-BCD8-2BE2134DE3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873977$309CDC2C-5315-4540-B7C4-496EE0EAA2A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18a74ba85b6bd01a765836ad641f37d1b8c8b03e","datavalue":{"value":"868094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873977$AD3165A5-DAE3-4F0F-8E94-7C02450B37B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$6D52C24F-36F8-4A48-B966-5E949426515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c843cbea6780c50042d507b966dbe65151c7b54","datavalue":{"value":"polyadic equality algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$2A40A70B-8F8B-4D70-8DB4-3209479B7F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9988e03da7bbcf49bfe4a33f18dc091f91cc68c2","datavalue":{"value":"logic with finitely many variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$FF7919A1-F3A8-446F-AD71-50B6715A8500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$FBB385DF-36B0-438A-8CD7-37816723FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9428016e34173b17b11627a9ff5c3626cc949a1","datavalue":{"value":"derivation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$06DBA7CB-00F5-4085-88FE-30C574498818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bfb92f6c8cf89c2e53a35b2d41e51b3560d48df","datavalue":{"value":"\\(n\\)-variable fragment of first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$DC333FD6-3009-4E36-AEB5-5A23532AFBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246a6b98fa4a047ecf0a42edce891659c8c99c86","datavalue":{"value":"cylindric mirror modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$12A58911-CB76-4BCB-8E9C-3642E0A1B524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a9d17c4eb50a0241e7c8de59177d35aa9adffcd","datavalue":{"value":"first order logic with substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$8B91816C-5F56-4FAF-9B14-52B7CAB43E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$22C5C8F3-2524-471E-A684-ED585AA55192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f7b6000cdb9654550cd3cc82708b0426d9b3ad","datavalue":{"value":"complex algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$0FB48260-AD9E-4A52-AB0E-C9FB714AE35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873977$767CF4DD-6397-4EF5-8CD8-EDFF9808A09F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873977$D7C4A6D9-1F65-4B47-A1CD-AACD13B76546","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":"Q4873977$128BD85A-E4AA-4675-9741-112CA86D76CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e360042de6a848d82fbe36105e6a6bc03ff4f68","datavalue":{"value":{"entity-type":"item","numeric-id":4318161,"id":"Q4318161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d58fe68f906ebea250a91296e219c99b3ef7c73","datavalue":{"value":{"amount":"+0.995918869972229","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":"Q4873977$4F7F3866-79E2-4111-BC10-0E2DAD63EF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9605ef04fa7e8bdc88b0779caade043bda2042b4","datavalue":{"value":{"amount":"+0.8279874920845032","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":"Q4873977$A8B3F31A-F3F0-487E-AF8A-AC9B6F7D5235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68f65bed8049922c2e37d189f073fed5574cb3c","datavalue":{"value":{"entity-type":"item","numeric-id":4842635,"id":"Q4842635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33c71eeabb38a82d7619ff831ca7454aa79b8ce","datavalue":{"value":{"amount":"+0.81785649061203","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":"Q4873977$6D9A92A4-0764-4440-B828-4565457A8190","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4873977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4873977"}}}}}