{"entities":{"Q1148394":{"pageid":1159143,"ns":120,"title":"Item:Q1148394","lastrevid":66249372,"modified":"2026-04-12T08:32:21Z","type":"item","id":"Q1148394","labels":{"en":{"language":"en","value":"Positive theories of free inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3706717"}},"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":"Q1148394$6F119017-33A3-4207-8E62-7F4E2CAC88F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbbef3ff935ad8b7d14917d22cbd408154a95b75","datavalue":{"value":{"text":"Positive theories of free inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1148394$C2C3E1E5-F17D-4027-B76A-AF13E8371A00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"062843b6dae6418281541d46704bcfce44e8b6ce","datavalue":{"value":"0452.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$B7BCD0D4-2819-46D3-AD54-7AEF1D3B52DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94422fb1d8573af00f202511ebb4de28ec661857","datavalue":{"value":"10.1007/BF00970391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$F5E525BA-2260-4DFF-9890-7BCF8369CCBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$87C5E5B0-02C2-4394-8ADB-F3FD97084760","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1148394$36AE8EE8-7C4B-4702-8502-53608D71B4B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$0501B5FD-73B9-4943-B052-833B753922F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$9FF96F29-504D-4D2B-AA84-0A3D4913F344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$580C8563-7440-41CA-A07D-657593BB88D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$D92320B0-3862-4589-ADEF-C78F70B94EE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0740be346d6ade3e20ac1afc0524e25315cb70a","datavalue":{"value":"3706717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$3DA68FA0-A657-4DAF-978F-02E3C068F25F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8d5d2e5e805ec744a84313b08835d3495ded9a","datavalue":{"value":"restricted predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148394$69780F0C-9717-41D8-81FB-A85082D060DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1446b95097764d434866bbebf226fd9867135f","datavalue":{"value":"closed positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148394$10A6436E-D630-4B63-A72F-3AB19870D5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8750ee85f85d29ab4a264b365d7d9d970882c96","datavalue":{"value":"positive theory of free inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148394$1931C307-4EB1-42E0-8502-C71CFD17BC5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d241458c967e707c41456a6ad447ddc4115310","datavalue":{"value":{"entity-type":"item","numeric-id":701373,"id":"Q701373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$5B710966-DB7E-44AB-99F2-6632D24C4A2A","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":"Q1148394$BF596CBD-3067-472D-901F-C40D6E222EA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d19d7f62fc0b1666876be8caef34dc09ebbab42","datavalue":{"value":{"entity-type":"item","numeric-id":4047699,"id":"Q4047699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$B6D1DF93-782A-486F-8A2E-5C1DFF69F488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8622a582970aa6a77a49249d97306a969b03ee","datavalue":{"value":{"entity-type":"item","numeric-id":4041566,"id":"Q4041566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$56C18FE9-0B51-4167-B78F-6AB982EAD9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9da87c92338e1ed714aea446e6359f25a1a76ec","datavalue":{"value":{"entity-type":"item","numeric-id":3213323,"id":"Q3213323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$4B4311C9-1201-4C13-A424-8FECC14018D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5809f64501d69d2d9aed9b5fe4890c9ae3b07bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5619830,"id":"Q5619830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$F8B102CE-EF36-469F-B75E-84BF0D408401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ea953e17130d64a516a22a5b3b4b615853c992","datavalue":{"value":{"entity-type":"item","numeric-id":5608798,"id":"Q5608798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$39520596-B83C-455C-A622-0AEC0F97C867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26eb87046f6e48749df135cfe9f091dd8d2409","datavalue":{"value":{"entity-type":"item","numeric-id":4056205,"id":"Q4056205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$F233FE5F-2E16-4D1C-A570-606DC85DD630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075b22d53304e5d7f2c89df4060fbbf81fa8bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5919200,"id":"Q5919200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$FA60D998-66D6-4831-96E6-DB5021A431D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dae67956d0f3606a5dcf6a8470081e28e9da9b7","datavalue":{"value":{"entity-type":"item","numeric-id":1215020,"id":"Q1215020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$8984DB80-0D69-489B-8F72-50DFABA4776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940bbfdaf5eef30193bcf190dd7f1198de099df2","datavalue":{"value":{"entity-type":"item","numeric-id":4402549,"id":"Q4402549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$F23CAAE8-45CA-421C-8516-3BFF0723AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148394$55445751-9976-49A1-A390-A97350F6ED30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51818aba62162c0f38ecd3c46cc837f8fbaa4340","datavalue":{"value":"https://doi.org/10.1007/bf00970391","type":"string"},"datatype":"url"},"type":"statement","id":"Q1148394$F982A2A0-8BBF-482D-A84D-CF1200FE65BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4d0a1b90a6f6ad6fdf7f823fa3116515e11b0d8","datavalue":{"value":"W2323768040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148394$74895758-7EF8-41C5-BD21-0FEEDE027082","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive theories of free inverse semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_theories_of_free_inverse_semigroups"}}}}}