{"entities":{"Q1448554":{"pageid":1459294,"ns":120,"title":"Item:Q1448554","lastrevid":43117163,"modified":"2025-07-21T15:47:40Z","type":"item","id":"Q1448554","labels":{"en":{"language":"en","value":"On quantifiers for general propositions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2585232"}},"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":"Q1448554$58543F48-EDB2-4677-BCCC-70CC605A664F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"280a12ea9590e3d9300865f7747a17f4edf98ca2","datavalue":{"value":{"text":"On quantifiers for general propositions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1448554$E49AB632-C239-44E0-A432-36AA7A55DF72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79f29a852ff2395203b424568a8065d7f302bdd2","datavalue":{"value":"52.0050.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448554$1492CFEF-A945-407C-A43F-02C89AE541E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b12753e831905c1f0e0153c5e7464adcd1fa60f0","datavalue":{"value":"10.1090/S0002-9904-1926-04298-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448554$B4CD4B93-7B60-4353-9B91-FB8C4700D644","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1448554$1E593506-DDEC-48F7-A85F-C99FEAFD4150","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dd745ff93b31145e75d180e6d28b5d93f81438","datavalue":{"value":{"time":"+1926-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":"Q1448554$EFF7E88C-BAF0-40A4-AFE0-8C0ADC074EF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"55f86ec7dbb7c94c824752377be836a7d0871aa6","datavalue":{"value":"Neben den im logistischen Funktionenkalk\u00fcl gebr\u00e4uchlichen Operatoren ``f\u00fcr alle \\(x\\) gilt'' und ``f\u00fcr mindestens ein \\(x\\) gilt'' f\u00fchrt Verf. noch Kurzzeichen f\u00fcr ``f\u00fcr kein \\(x\\) gilt'' und ``nicht f\u00fcr jedes \\(x\\) gilt'' ein und gibt die entsprechenden Umformungsregeln an. Einigen Formeln kann dann eine elegantere Gestalt gegeben werden.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1448554$82B9A99C-401C-4B1A-A585-AF367297D5F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213c36186db4f62729812f9a4136e633bdcda775","datavalue":{"value":"2585232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448554$5F1C6269-2460-4810-A30B-EC9EA08597D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60c2502b07049fc48532352597205514f4e3871f","datavalue":{"value":{"entity-type":"item","numeric-id":562782,"id":"Q562782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1448554$1E7597E2-CD4C-4F2D-8C74-00932367A087","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":"Q1448554$F851B56A-B804-474C-9AB8-B77A7C9C65C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1448554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1448554"}}}}}